Extensional PERs
From MaRDI portal
Publication:1193589
DOI10.1016/0890-5401(92)90019-CzbMath0762.18006MaRDI QIDQ1193589
Publication date: 27 September 1992
Published in: Information and Computation (Search for Journal in Brave)
Turing machines; partial equivalence relations; Cartesian closed category; semantics of programming languages; category of domains
68Q55: Semantics in the theory of computing
18B25: Topoi
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
18B10: Categories of spans/cospans, relations, or partial maps
Related Items
Inheritance as implicit coercion, Monads and algebras in the semantics of partial data types, Some economic applications of Scott domains, Independence of the induction principle and the axiom of choice in the pure calculus of constructions, Partial map classifiers and partial cartesian closed categories
Cites Work