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.
A Powerdomain Construction
@ Siam
LCF Considered as a Programming Language
Reproduced from Theoretical Computer Science , Vol. 5, pp. 223-255, Copyright (1977), with permission from Elsevier.
Lambda-Definability in the Full type Hierarchy
Tω as a Universal Domain
@ Elsevier
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.
Petri Nets, Event Structures and Domains, Part I
Reproduced from Theoretical Computer Science , Vol. 13, pp. 85-108, Copyright (1981), with permission from Elsevier.
An Algebraic Approach to VLSI Design
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.
The Category-Theoretic Solution of Recursive Domain Equations
@ Siam
A Probabilistic Powerdomain of Evaluations
© IEEE
On Proving Limiting Completeness
@ Siam
Faithful Ideal Models for Recursive Polymorphic Types
An Illative Theory of Relations
Teams Can See Posets
A Per Model of Polymorphism and Recursive Types
Dynamic Typing in a Statically Typed Language
Type Theory and Recursion (Extended Abstract)
On Functors Expressible in the Polymorphic Typed Lambda Calculus
A Framework for Defining Logics
Concrete Domains
A Logical View of Composition
A Logic for Parametric Polymorphism
Set-Theoretic and Other Elementary Models of the
-Calculus
A Calculus for Access Control in Distributed Systems
A Semantics for Static Type Inference
An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC
Subtyping and Parametricity
Uncountable Limits and the Lambda Calculus
Configuration Structures
On a Question of Friedman
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
Towards a Mathematical Operational Semantics
Complete Cuboidal Sets in Axiomatic Domain Theory
From Action Calculi to Linear Logic
Logical Full Abstraction and PCF
Full Abstraction, Totality and PCF
Full Completeness of the Multiplicative Linear Logic of Chu Spaces
Abstract Syntax and Variable Binding
Bistructures, Bidomains and Linear Logic
In Festchrift for Robin Milner , MIT Pess.
Complete Axioms for Categorical Fixed-point Operators
Lax Logical Relations
Three Inadequate Models
Adequacy for Algebraic Effects © Springer-Verlag
Semantics for Algebraic Operations (published by Elsevier)
Bialgebraic Semantics and Recursion (published by Elsevier)
Computational Effects Determine Monads © Springer-Verlag
Erratum
Combining Computational Effects: Commutativity and Sum
Computational Effects and Operations: an Overview
Algebraic Operations and Generic Effects
(This is the journal version of "Semantics for Algebraic Operations")
Combining Effects: Sum and Tensor
This is the journal version of "Combining Computational Effects: Commutativity and Sum"
The Origins of Structural Operational Semantics
Logic for Computational Effects: work in progress
Combining Continuations with other Effects
Semantic Domains for Combining Probability and Non-Determinism
Event Structures for Resolvable Conflict
A Domain-Theoretic Banach-Alaoglu Theorem
Some Varieties of Equational Logic (Extended Abstract)
Combining Algebraic Effects with Continuations
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 .
Predicate Transformers for Convex Powerdomains
Finite Dimensional Vector Spaces are Complete for Traced Symmetric Monoidal Categories
On the completeness of order-theoretic models of the λ-calculus
Tensors of Comodels and Models for Operational Semantics
A Logic for Algebraic Effects
A Model of Cooperative Threads
A Language for Biological Systems
Handlers of Algebraic Effects
Approximating Markov Processes By Averaging
Configuration Structures, Event Structures and Petri Nets
This is the journal version of "Configuration Structures"
CSP and the Algebraic Theory of Effects