Order-Enrichment for Categories of Partial Maps (1993)

Cached

Download Links

by Marcelo P. Fiore
Citations:3 - 1 self

Active Bibliography

4 Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) – Marcelo Fiore, Kohei Honda - 1998
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
3 Lifting as a KZ-doctrine – Marcelo P. Fiore - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
4 Introduction to Turing categories – J. R. B. Cockett, Pieter J. W. Hofstra
31 Syntactic considerations on recursive types – Marcelo P. Fiore - 1996
4 A Simple Adequate Categorical Model for PCF – Torben Braüner - 1997
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
9 Computational Adequacy in an Elementary Topos – Alex K. Simpson - 1999
3 Equational lifting monads – Anna Bucalo, Carsten Führmann, Alex Simpson - 1999
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
Domains in H – Marcelo P. Fiore, Giuseppe Rosolini
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998