Order-Enrichment for Categories of Partial Maps (1993)

Cached

Download Links

by Marcelo P. Fiore
Citations:3 - 1 self

Documents Related by Co-Citation

929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
760 Types and Programming Languages – Benjamin C Pierce - 2002
510 A semantics of multiple inheritance – Luca Cardelli - 1988
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
63 Axiomatic Domain Theory in Categories of Partial Maps – M P Fiore - 1994
296 The Lambda Calculus: Its Syntax and Semantics. Volume 103 – H P Barendregt - 1984
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
275 Semantics programming languages: Structures and techniques. Foundation of computing – C A Gunter - 1993
136 Lambda-calculus Models of Programming Languages – J H Morris - 1968