Publications available on-line
-
Gordon Plotkin
Pisa Notes (On Domain Theory)
I am very grateful to Dr. Kashigawa and Dr. Kondoh for preparing this electronic
edition of my notes on domain theory.
(For an a4 version, see
here .)
-
Martín Abadi, Benjamin Pierce and Gordon Plotkin
Faithful Ideal Models for Recursive Polymorphic Types
pdf
-
Gordon Plotkin
An Illative Theory of Relations
pdf
-
Martín Abadi and Gordon Plotkin
A Per Model of Polymorphism and Recursive Types
pdf
-
Martín Abadi, Luca Cardelli, Benjamin Pierce and Gordon Plotkin
Dynamic Typing in a Statically Typed Language
pdf
-
John Reynolds and Gordon Plotkin
On Functors Expressible in the Polymorphic Typed Lambda Calculus
pdf
-
Robert Harper, Furio Honsell and Gordon Plotkin
A Framework for Defining Logics
pdf
-
Gilles Kahn and Gordon Plotkin
Concrete Domains
pdf
-
Martín Abadi and Gordon Plotkin
A Logical View of Composition
pdf
-
Gordon Plotkin and Martín Abadi
A Logic for Parametric Polymorphism
pdf
-
Gordon Plotkin
Set-Theoretic and Other Elementary Models of the
-Calculus
pdf
-
Martín Abadi, Michael Burrows, Butler Lampson and Gordon Plotkin
A Calculus for Access Control in Distributed Systems
pdf
-
Gordon Plotkin
A Semantics for Static Type Inference
pdf
-
Marcelo Fiore and Gordon Plotkin
An Axiomatisation of Computationally Adequate Domain Theoretic Models of
FPC
pdf
-
Gordon Plotkin, Martín Abadi and Luca Cardelli
Subtyping and Parametricity
pdf
-
Pietro di Gianantonio, Furio Honsell and Gordon Plotkin
Uncountable Limits and the Lambda Calculus
pdf
-
Rob van Glabbeek and Gordon Plotkin
Configuration Structures
pdf
-
Gordon Plotkin
On a Question of Friedman
pdf
-
Marcelo Fiore and Gordon Plotkin
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
pdf
-
Daniele Turi and Gordon Plotkin
Towards a Mathematical Operational Semantics
pdf
-
Marcelo Fiore, Gordon Plotkin and John Power
Complete Cuboidal Sets in Axiomatic Domain Theory
pdf
-
Andrew Barber, Philippa Gardner, Masahito Hasegawa and Gordon Plotkin
From Action Calculi to Linear Logic
pdf
-
John Longley and Gordon Plotkin
Logical Full Abstraction and PCF
pdf
-
Gordon Plotkin
Full Abstraction, Totality and PCF
pdf
-
Harish Devarajan, Gordon Plotkin and Vaughan Pratt
Full Completeness of the Multiplicative Linear Logic of Chu Spaces
-
Marcelo Fiore, Gordon Plotkin and Daniele Turi
Abstract Syntax and Variable Binding
pdf
-
Pierre-Louis Curien, Gordon Plotkin and Glynn Winskel
Bistructures, Bidomains and Linear Logic
In
Festchrift for Robin Milner
, MIT Pess.
pdf
-
Alex Simpson and Gordon Plotkin
Complete Axioms for Categorical Fixed-point Operators
pdf
-
Gordon Plotkin, John Power, Don Sannella and Robert Tennent
Lax Logical Relations
pdf
-
Gordon Plotkin
Three Inadequate Models
pdf
-
Gordon Plotkin
Adequacy for Algebraic Effects
pdf