Relational Properties of Recursively Defined Domains (1993)

Cached

Download Links

by Andrew M. Pitts
Venue:In 8th Annual Symposium on Logic in Computer Science
Citations:15 - 2 self

Active Bibliography

30 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
102 Relational Properties of Domains – Andrew M. Pitts - 1996
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
467 Comprehending Monads – Philip Wadler - 1992
766 Notions of Computation and Monads – Eugenio Moggi - 1991
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993