Martı́n Hötzel Escardó

PCF extended with real numbers

Martı́n Hötzel Escardó · Theoretical Computer Science · 1996 · 180 citations · Full text

Real Numbers, Generalized Function

Properly injective spaces and function spaces

Martı́n Hötzel Escardó · Topology and its Applications · 1998 · 88 citations · Full text

Function Spaces, Topological Property, Set-theoretic Topology

Calculus in coinductive form

Duško Pavlović, Martı́n Hötzel Escardó · 2002 · 58 citations

Coinductive Formalization, Coinductive Form, Symbolic Manipulation +12

Semantics of exact real arithmetic

Peter John Potts, Abbas Edalat, Martı́n Hötzel Escardó · 2002 · 49 citations

Formal Semantics, Real Data Type, Engineering +14

The way-below relation of function spaces over semantic domains

Thomas Erker, Martı́n Hötzel Escardó, Klaus Keimel · Topology and its Applications · 1998 · 39 citations · Full text

Domain Theory, Automated Reasoning, Computational Linguistics +6