On Fixpoint Objects and Gluing Constructions (1997)

Cached

Download Links

by Roy L. Crole
Citations:1 - 1 self

Active Bibliography

88 Categorical Logic – Andrew M. Pitts - 1995
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
1 Categorical Logic – S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts - 2001
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
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – unknown authors
TYPES, SETS AND CATEGORIES – John L. Bell
3 The Development of Categorical Logic – John L. Bell
12 The Structure of Call-by-Value – Carsten Führmann - 2000
18 Topical Categories of Domains – Steven Vickers - 1997
6 A New Framework for Declarative Programming – Stacy E. Finkelstein, Peter Freyd, James Lipton - 2001
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
9 Computational Adequacy in an Elementary Topos – Alex K. Simpson - 1999
9 A Fully Abstract Semantics for a Higher-Order Functional Language With Nondeterministic Computation – Alan Jeffrey - 1994
3 A Universal Characterisation of the Closed Euclidean Interval – Martín H. Escardo, Alex K. Simpson
10 A universal characterization of the closed euclidean interval (Extended Abstract) – Martín H. Escardó, Alex K. Simpson - 2001
10 A Sound Metalogical Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1994
7 Relating Operational and Denotational Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1999