Semantic Domains (1990)

Cached

Download Links

by C. A. Gunter , D. S. Scott
Citations:146 - 3 self

Active Bibliography

8 Coherence and Consistency in Domains – Carl A. Gunter, Achim Jung - 1990
15 Universal Profinite Domains – Carl A. Gunter - 1987
34 Domain Theoretic Models Of Polymorphism – Thierry Coquand, Carl A. Gunter, Glynn Winskel - 1989
3 Information Categories – Abbas Edalat, Michael B. Smyth - 1991
3 Towards Lambda Calculus Order-Incompleteness – Antonino Salibra
23 Power Domain Constructions – Reinhold Heckmann - 1998
TU as a Universal Domain – G. Plotkin - 1977
and suggestions for improvement. I also thank the following people for – Robert Harper, Their Suggestions, Corrections Arbob Ahmad, Zena Ariola, Guy E. Blelloch, William Byrd, Luis Caires, Luca Cardelli, Manuel Chakravarti, C. Cobbe, Karl Crary, Daniel Dantas, Anupam Datta, Jake Donham, Dan Friedman, Maia Ginsburg, Kevin Hely, Cao Jing, Danielle Kramer, Akiva Leffert, Ruy Ley-wild, Dan Licata, Dave Macqueen, Chris Martens, Greg Morrisett, Tom Murphy, Georg Neis, David Neville, Doug Perkins, Frank Pfenning, Jean Pichon, Benjamin C. Pierce, Andrew M. Pitts, Gordon D. Plotkin, Dana Scott, Robert Simmons, Pawel Sobocinski, Daniel Spoonhower
11 Practical Foundations for Programming Languages – Robert Harper - 2007
Universal Domains For Sequential Computation – Ramarao Kanneganti - 1995
The study of random structures began wi... – unknown authors
2 Applying Universal Algebra to Lambda Calculus – Giulio Manzonetto, Antonino Salibra - 2007
This document in subdirectory RS/06/5 / Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative ∗ – Kristian Støvring, Kristian Støvring, Kristian Støvring - 2006
2 A Category-theoretic characterization of functional completeness – Giuseppe Longo, Eugenio Moggi - 1990
16 A Continuum of Theories of Lambda Calculus Without Semantics – Antonino Salibra - 2001
231 Domain Theory in Logical Form – Samson Abramsky - 1991
6 Induction and recursion on the partial real line with applications to Real PCF – Martín Hötzel Escardo, Thomas Streicher - 1997
22 Probabilistic Domains – Reinhold Heckmann - 1997
7 Lower Bag Domains – Reinhold Heckmann - 1995