|
19
|
A Uniform Approach to Domain Theory in Realizability Models
– John R. Longley, Alex K. Simpson
- 1996
|
|
8
|
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory
– Alex Simpson
- 2003
|
|
37
|
A Coinduction Principle for Recursive Data Types Based on Bisimulation
– Marcelo P. Fiore
- 1996
|
|
17
|
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
– Marcelo Fiore, Gordon D. Plotkin
- 1997
|
|
27
|
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
|
|
1
|
The Convex Powerdomain in a Category of Posets Realized By Cpos
– Alex K. Simpson
- 1995
|
|
|
New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic
– unknown authors
|
|
29
|
On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces
– Daniele Turi, Jan Rutten
- 1998
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
11
|
The Structure of Call-by-Value
– Carsten Führmann
- 2000
|
|
27
|
Complete Axioms for Categorical Fixed-point Operators
– Alex Simpson, Gordon Plotkin
- 2000
|
|
12
|
Programming Metalogics with a Fixpoint Type
– Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi
- 1992
|
|
1
|
Actions, Ramifications and Linear Modalities
– G. White
- 1998
|
|
|
COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS
– Anders Kock
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
14
|
Fixed Points and Extensionality in Typed Functional Programming Languages
– Brian T. Howard
- 1992
|
|
1
|
Inductive, Projective, and Retractive Types
– Brian T. Howard
- 1993
|
|
11
|
Two Models of Synthetic Domain Theory
– Marcelo P. Fiore, Giuseppe Rosolini
- 1997
|
|
1
|
A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality
– Samson Abramsky, Adam Brandenburger
- 2011
|
