On Fixpoint Objects and Gluing Constructions (1997)

Cached

Download Links

by Roy L. Crole
Citations:1 - 1 self

Active Bibliography

457 Domain Theory – Samson Abramsky, Achim Jung - 1994
457 Comprehending Monads – Philip Wadler - 1992
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
421 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
88 Categorical Logic – Andrew M. Pitts - 1995
229 Domain Theory in Logical Form – Samson Abramsky - 1991
262 Relations in Concurrency – Glynn Winskel
238 The Lazy Lambda Calculus – Samson Abramsky - 1990
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