Escardó, Martín: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT

ESCARDÓ, MARTÍN, OLIVA, PAULO

Journal:

Journal of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 226 KB

english, 2017

2

PCF extended with real numbers

Martin Hötzel Escardó

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 2.45 MB

english, 1996

3

Synthetic Topology: of Data Types and Classical Spaces

Martín Escardó

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 1.40 MB

english, 2004

4

The Peirce translation

Martín Escardó, Paulo Oliva

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 279 KB

english, 2012

5

Preface

Berger, Ulrich, Blanck, Jens, Escardó, Martín, Keimel, Klaus

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 119 KB

english, 2015

6

Selection functions, bar recursion and backward induction

ESCARDÓ, MARTÍN, OLIVA, PAULO

Journal:

Mathematical Structures in Computer Science

Year:

2010

Language:

english

File:

PDF, 461 KB

english, 2010

7

On the non-sequential nature of the interval-domain model of real-number computation

ESCARDÓ, MARTÍN, HOFMANN, MARTIN, STREICHER, THOMAS

Journal:

Mathematical Structures in Computer Science

Year:

2004

Language:

english

File:

PDF, 281 KB

english, 2004

8

In Domain Realizability, not all Functionals on C[–1, 1] are Continuous

Martín Escardó, Thomas Streicher

Journal:

Mathematical Logic Quarterly

Year:

2002

Language:

english

File:

PDF, 106 KB

english, 2002

9

Compactly generated Hausdorff locales

Martín H. Escardó

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 235 KB

english, 2006

10

Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting

Martín Escardó

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 373 KB

english, 2009

11

Preface

Martín Escardó, Achim Jung

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 60 KB

english, 2004

12

Preface

Martín Escardó, Achim Jung, Michael Mislove

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 80 KB

english, 2006

13

Preface

Lars Birkedal, Martín Escardó, Achim Jung, Giuseppe Rosolini

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 128 KB

english, 2004

14

On the computational content of the Lawson topology

Frédéric De Jaeger, Martín Escardó, Gabriele Santini

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 213 KB

english, 2006

15

Semantics of a sequential language for exact real-number computation

J. Raymundo Marcial-Romero, Martín H. Escardó

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 489 KB

english, 2007

16

Comparing Cartesian closed categories of (core) compactly generated spaces

Martín Escardó, Jimmie Lawson, Alex Simpson

Journal:

Topology and its Applications

Year:

2004

Language:

english

File:

PDF, 352 KB

english, 2004

17

The way-below relation of function spaces over semantic domains

Thomas Erker, Martín Hötzel Escardó, Klaus Keimel

Journal:

Topology and its Applications

Year:

1998

Language:

english

File:

PDF, 912 KB

english, 1998

18

Properly injective spaces and function spaces

Martín Hötzel Escardó

Journal:

Topology and its Applications

Year:

1998

Language:

english

File:

PDF, 2.96 MB

english, 1998

19

Preface

Jiřı́ Adámek, Martı́n Escardó, Martin Hofmann

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 28 KB

english, 2003

20

Induction and recursion on the partial real line with applications to Real PCF

Martín Hötzel Escardó, Thomas Streicher

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 2.22 MB

english, 1999

21

Semantic Domains, Injective Spaces and Monads: Extended Abstract

Martín H. Escardó, Robert C. Flagg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

File:

PDF, 972 KB

1999

22

Hausdorff compactifications of topological function spaces via the theory of continuous lattices

Martín Escardó

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 36 KB

english, 2001

23

Effective and sequential definition by cases on the reals via infinite signed-digit numerals

Martín Hötzel Escardó

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 865 KB

english, 1998

24

On the Compact-regular Coreflection of a Stably Compact Locale

Martín Hötzel Escardó

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

File:

PDF, 872 KB

1999

25

Guest editors’ introduction: Special issue on practical development of exact real number computation

Norbert Müller, Martin Escardo, Paul Zimmermann

Journal:

The Journal of Logic and Algebraic Programming

Year:

2005

Language:

english

File:

PDF, 135 KB

english, 2005

26

Continuity of Gödelʼs System T Definable Functionals via Effectful Forcing

Escardó, Martín

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 309 KB

english, 2013

27

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Infinite sets that admit fast exhaustive search

Escardo, Martin

Year:

2007

Language:

english

File:

PDF, 283 KB

english, 2007

28

Preface

ESCARDÓ, MARTÍN, JUNG, ACHIM, STREICHER, THOMAS

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 181 KB

english, 2006

29

Preface

ESCARDÓ, MARTÍN, JUNG, ACHIM, STREICHER, THOMAS

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 172 KB

english, 2007

30

BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS

ESCARDÓ, MARTÍN, OLIVA, PAULO

Journal:

Journal of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 507 KB

english, 2015

31

Constructive decidability of classical continuity

ESCARDÓ, MARTÍN

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 104 KB

english, 2015

32

The intrinsic topology of Martin-Löf universes

Escardó, Martín Hötzel, Streicher, Thomas

Journal:

Annals of Pure and Applied Logic

Year:

2016

Language:

english

File:

PDF, 583 KB

english, 2016

33

A constructive manifestation of the Kleene–Kreisel continuous functionals

Escardó, Martín, Xu, Chuangjie

Journal:

Annals of Pure and Applied Logic

Year:

2016

Language:

english

File:

PDF, 1.18 MB

english, 2016

34

On lazy natural numbers with applications to computability theory and functional programming

Escardó, Martín Hötzel

Journal:

ACM SIGACT News

Year:

1993

Language:

english

File:

PDF, 459 KB

english, 1993

35

Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics

Escardó, Martín H.

Journal:

Journal of Symbolic Logic

Year:

2013

Language:

english

File:

PDF, 213 KB

english, 2013

36

Differential expression of the adult specifier E93 in the strepsipteran Xenos vesparum Rossi suggests a role in female neoteny

Chafino, S., López-Escardó, D., Benelli, G., Kovac, H., Casacuberta, E., Franch-Marro, X., Kathirithamby, J., Martín, D.

Journal:

Scientific Reports

Year:

2018

Language:

english

File:

PDF, 3.55 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски