A Co-induction Principle for Recursively Defined Domains (0)

by Andrew Pitts
Venue:Theoretical Computer Science
Citations:42 - 3 self

Active Bibliography

766 Notions of Computation and Monads – Eugenio Moggi - 1991
1353 Monads for functional programming – Philip Wadler - 1995
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1165 Proof-Carrying Code – George C. Necula - 1997
467 Comprehending Monads – Philip Wadler - 1992
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
735 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
985 A theory of type polymorphism in programming – Robin Milner - 1978
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985