Order-Enrichment for Categories of Partial Maps (1993)

View PDF

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
766 Notions of Computation and Monads – Eugenio Moggi - 1991
Applications of monads [Mac71, Man76] – Eugenio Moggi
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
3 Lifting as a KZ-doctrine – Marcelo P. Fiore - 1995
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
103 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
245 The Lazy Lambda Calculus – Samson Abramsky - 1990