Active Bibliography
| 7 | Coherence and Consistency in Domains – Carl A. Gunter, Achim Jung, Technische Hochschule Darmstadt - 1990 |
| 12 | Universal Profinite Domains – Carl A. Gunter - 1987 |
| 33 | 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 |
| 22 | 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 | |
| 4 | Practical Foundations for Programming Languages – Robert Harper - 2007 |
| Universal Domains For Sequential Computation – Ramarao Kanneganti - 1995 | |
| 1 | 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 | |
| 13 | A Continuum of Theories of Lambda Calculus Without Semantics – Antonino Salibra - 2001 |
| 2 | A Category-theoretic characterization of functional completeness – Giuseppe Longo, Eugenio Moggi - 1990 |
| 5 | Induction and recursion on the partial real line with applications to Real PCF – Martín Hötzel Escardo, Thomas Streicher - 1997 |
| 214 | Domain Theory in Logical Form – Samson Abramsky - 1991 |
| 21 | Probabilistic Domains – Reinhold Heckmann - 1997 |
| 1 | Types for Trees – Franco Barbanera, Mariangiola Dezani-ciancaglini, Fer-jan De Vries - 1998 |
| 7 | Lower Bag Domains – Reinhold Heckmann - 1995 |
