Publications available on-line
-
Gordon Plotkin
Call-by-Name, Call-by Value and the Lambda Calculus
Reproduced from
Theoretical Computer Science ,
Vol. 1, pp. 125-159, Copyright (1975), with permission from Elsevier.
-
Gordon Plotkin
A Powerdomain Construction
@ Siam
-
Gordon Plotkin
LCF Considered as a Programming Language
Reproduced from
Theoretical Computer Science ,
Vol. 5, pp. 223-255, Copyright (1977), with permission from Elsevier.
-
Gordon Plotkin
Lambda-Definability in the Full type Hierarchy
-
Gordon Plotkin
Tω
as a Universal Domain
@ Elsevier
-
Gordon Plotkin
A Structural Approach to Operational Semantics
I am very grateful to Professor Tatsuya Hagino and his students for
preparing this Latex version of my Aarhus notes.
Please send me any
errors you notice.
-
Gordon Plotkin
Petri Nets, Event Structures and Domains, Part I
Reproduced from
Theoretical Computer Science ,
Vol. 13, pp. 85-108, Copyright (1981), with permission from Elsevier.
-
Luca Cardelli and Gordon Plotkin
An Algebraic Approach to VLSI Design
-
Gordon Plotkin
Pisa Notes (On Domain Theory)
a4 version
I am very grateful to Dr. Kashigawa and to Dr. Kondoh for preparing this electronic
edition of my notes on domain theory.
-
Gordon Plotkin
The Category-Theoretic Solution of Recursive Domain Equations
@ Siam
-
Claire Jones and Gordon Plotkin
A Probabilistic Powerdomain of Evaluations
©
IEEE
-
Peter Mosses and Gordon Plotkin
On Proving Limiting Completeness
@ Siam
-
Martín Abadi, Benjamin Pierce and Gordon Plotkin
Faithful Ideal Models for Recursive Polymorphic Types
pdf
-
Gordon Plotkin
An Illative Theory of Relations
pdf
-
Gordon Plotkin and Vaughan Pratt
Teams Can See Posets
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
-
Gordon Plotkin
Type Theory and Recursion (Extended Abstract)
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
pdf
-
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 and John Power
Adequacy for Algebraic Effects
©
Springer-Verlag
pdf
-
Gordon Plotkin and John Power
Semantics for Algebraic Operations
(published by Elsevier)
pdf
-
Gordon Plotkin
Bialgebraic Semantics and Recursion
(published by Elsevier)
pdf
-
Gordon Plotkin and John Power
Computational Effects Determine Monads
© Springer-Verlag
pdf
Erratum
pdf
-
Martin Hyland, Gordon Plotkin and John Power
Combining Computational Effects: Commutativity and Sum
pdf
-
Gordon Plotkin and John Power
Computational Effects and Operations: an Overview
pdf
-
Gordon Plotkin and John Power
Algebraic Operations and Generic Effects
pdf
(This is the journal version of "Semantics for Algebraic Operations")
-
Martin Hyland, Gordon Plotkin and John Power
Combining Effects: Sum and Tensor
pdf
This is the journal version of "Combining Computational Effects: Commutativity and Sum"
-
Gordon Plotkin
The Origins of Structural Operational Semantics
pdf
-
Gordon Plotkin and John Power
Logic for Computational Effects: work in progress
pdf
-
Martin Hyland, Paul Blain Levy, Gordon Plotkin and John Power
Combining Continuations with other Effects
pdf
-
Regina Tix, Klaus Keimel and Gordon Plotkin
Semantic Domains for Combining Probability and Non-Determinism
pdf
-
Rob van Glabbeek and Gordon Plotkin
Event Structures for Resolvable Conflict
pdf
-
Gordon Plotkin
A Domain-Theoretic Banach-Alaoglu Theorem
pdf
-
Gordon Plotkin
Some Varieties of Equational Logic (Extended Abstract)
pdf
-
Martin Hyland, Paul Blain Levy, Gordon Plotkin and John Power
Combining Algebraic Effects with Continuations
pdf
This is the journal version of
"Combining Continuations with other Effects"; it is part of a
Festschrift for John Reynolds
published in
Theoretical Computer Science .
-
Klaus Keimel and Gordon Plotkin
Predicate Transformers for Convex Powerdomains
-
Masahito Hasegawa, Martin Hofmann and Gordon Plotkin
Finite Dimensional Vector Spaces are Complete
for Traced Symmetric Monoidal Categories
-
Furio Honsell and Gordon Plotkin
On the completeness of order-theoretic models of the λ-calculus
-
Gordon Plotkin and John Power
Tensors of Comodels and Models for Operational Semantics
-
Gordon Plotkin and Matija Pretnar
A Logic for Algebraic Effects
-
Martín Abadi and Gordon Plotkin
A Model of Cooperative Threads
-
Michael Pedersen and Gordon Plotkin
A Language for Biological Systems
-
Gordon Plotkin and Matija Pretnar
Handlers of Algebraic Effects
-
Philippe Chaput, Vincent Danos, Prakash Panangaden and Gordon
Plotkin
Approximating Markov Processes By Averaging
-
Rob van Glabbeek and Gordon Plotkin
Configuration Structures, Event Structures and Petri Nets
This is the journal version of "Configuration Structures"
-
Rob van Glabbeek and Gordon Plotkin
CSP and the Algebraic Theory of Effects