Abstract Datatypes for Real Numbers in Type Theory

DOI10.1007/978-3-319-08918-8_15zbMath1416.68036OpenAlexW1606071209MaRDI QIDQ5170818

Martín Hötzel Escardó, Alex K. Simpson

Publication date: 24 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_15

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Related Items

Coherence Spaces and Uniform Continuity