BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Finland
1 × Norway
1 × Spain
1 × The Netherlands
3 × Poland
4 × USA
Collaborated with:
C.Xu A.K.Simpson A.Edalat A.Simpson W.K.Ho J.R.Marcial-Romero D.Pavlovic T.Streicher C.M.Knapp P.Oliva T.Powell A.Bauer P.J.Potts N.Kraus T.Coquand T.Altenkirch
Talks about:
real (6) theori (3) number (3) exact (3) sequenti (2) function (2) partial (2) languag (2) continu (2) semant (2)

Person: Martín Hötzel Escardó

DBLP DBLP: Escard=oacute=:Mart=iacute=n_H=ouml=tzel

Contributed to:

TLCA 20152015
RTA-TLCA 20142014
TLCA 20132013
CSL 20112011
LICS 20072007
LICS 20052005
LICS 20042004
ICALP 20022002
LICS 20012001
LICS 19981998
LICS 19971997
LICS 19961996
CSL 20172017

Wrote 15 papers:

TLCA-2015-EscardoX #consistency #nondeterminism
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation (MHE, CX), pp. 153–164.
RTA-TLCA-2014-EscardoS #data type #type system
Abstract Datatypes for Real Numbers in Type Theory (MHE, AS), pp. 208–223.
TLCA-2013-KrausECA #theorem
Generalizations of Hedberg’s Theorem (NK, MHE, TC, TA), pp. 173–188.
A Constructive Model of Uniform Continuity (CX, MHE), pp. 236–249.
System T and the Product of Selection Functions (MHE, PO, TP), pp. 233–247.
LICS-2007-Escardo #infinity #performance #set
Infinite sets that admit fast exhaustive search (MHE), pp. 443–452.
LICS-2005-EscardoK #programming language
Operational Domain Theory and Topology of a Sequential Programming Language (MHE, WKH), pp. 427–436.
LICS-2004-Marcial-RomeroE #semantics
Semantics of a Sequential Language for Exact Real-Number Computation (JRMR, MHE), pp. 426–435.
ICALP-2002-BauerES #functional #paradigm
Comparing Functional Paradigms for Exact Real-Number Computation (AB, MHE, AKS), pp. 488–500.
A Universal Characterization of the Closed Euclidean Interval (MHE, AKS), pp. 115–125.
LICS-1998-PavlovicE #calculus #induction
Calculus in Coinductive Form (DP, MHE), pp. 408–417.
LICS-1997-EscardoS #algebra #induction #recursion
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras (MHE, TS), pp. 376–386.
LICS-1997-PottsEE #semantics
Semantics of Exact Real Arithmetic (PJP, AE, MHE), pp. 248–257.
LICS-1996-EdalatE #integration
Integration in Real PCF (AE, MHE), pp. 382–393.
CSL-2017-EscardoK #recursion #type system
Partial Elements and Recursion via Dominances in Univalent Type Theory (MHE, CMK), p. 16.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.