Partial Morphisms in Categories of Effective Objects (1996)

Cached

Download Links

by Eugenio Moggi
Citations:2 - 0 self

Active Bibliography

730 Notions of Computation and Monads – Eugenio Moggi - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
13 Exact Completions and Toposes – Matias Menni - 2000
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
3 An Equational Notion of Lifting Monad – Anna Bucalo, Carsten Führmann, Alex Simpson - 2003
31 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
24 Deliverables: A Categorical Approach to Program Development in Type Theory – James Hugh McKinna - 1992
88 Categorical Logic – Andrew M. Pitts - 1995
2 A Domain Theoretic Approach to Effective Distribution Theory, U.U.D.M. report 2007:37 – Fredrik Dahlgren, Fredrik Dahlgren - 2007
6 Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability – Andrej Bauer, Alex Simpson
4 Introduction to Turing categories – J. R. B. Cockett, Pieter J. W. Hofstra
The Real Number Structure is Effectively Categorical – Peter Hertling, Peter Hertling - 1997
8 Density and Choice for Total Continuous Functionals – Helmut Schwichtenberg - 1996
31 Syntactic considerations on recursive types – Marcelo P. Fiore - 1996
12 Notions of computability at higher types I – John Longley - 2005
3 Equational lifting monads – Anna Bucalo, Carsten Führmann, Alex Simpson - 1999
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
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992
5 Paracategories I: Internal Paracategories and Saturated Partial Algebras – Claudio Hermida, Paulo Mateus - 2002