| ปี พ.ศ. 2557 |
| 1 |
Algebraic theory of type-and-effect systems |
| ปี พ.ศ. 2553 |
| 2 |
Modular languages for systems and synthetic biology |
| 3 |
Logic and handling of algebraic effects |
| ปี พ.ศ. 2551 |
| 4 |
Topological Domain Theory |
| ปี พ.ศ. 2546 |
| 5 |
An Illative Theory of Relations |
| 6 |
FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES |
| 7 |
Semantics for algebraic operations |
| 8 |
Combining computational effects: commutativity and sum |
| 9 |
A Per Model of Polymorphism and Recursive Types |
| 10 |
Type Theory and Recursion Extended Abstract |
| 11 |
A Logical View of Composition |
| 12 |
A Logic for Parametric Polymorphism |
| 13 |
A Set-Theoretical Definition of Application |
| 14 |
Subtyping and Parametricity |
| 15 |
Configuration Structures |
| 16 |
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory |
| 17 |
Towards a Mathematical Operational Semantics |
| 18 |
Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) |
| 19 |
Full Abstraction, Totality and PCF |
| 20 |
Abstract Syntax and Variable Binding (Extended Abstract) |
| 21 |
Three Inadequate Models |
| ปี พ.ศ. 2545 |
| 22 |
Adequacy for Algebraic Effects |
| 23 |
Notions of Computation Determine Monads |
| 24 |
Computational effects and operations: an overview |
| ปี พ.ศ. 2544 |
| 25 |
Bialgebraic Semantics and Recursion |
| ปี พ.ศ. 2543 |
| 26 |
Logical Full Abstraction and PCF |
| 27 |
Bistructures, Bidomains and Linear Logic |
| 28 |
Lax Logical Relations |
| 29 |
Ordinals and Interactive Programs |
| ปี พ.ศ. 2542 |
| 30 |
Full completeness of the multiplicative linear logic of Chu spaces |
| 31 |
A Theory of Program Refinement |
| ปี พ.ศ. 2541 |
| 32 |
From Action Calculi to Linear Logic |
| ปี พ.ศ. 2540 |
| 33 |
Linear Type Theories, Semantics and Action Calculi |
| ปี พ.ศ. 2539 |
| 34 |
On a Question of H. Friedman |
| ปี พ.ศ. 2538 |
| 35 |
Uncountable Limits and the Lambda Calculus |
| 36 |
Extensional concepts in intensional type theory |
| 37 |
Realizability Toposes and Language Semantics |
| ปี พ.ศ. 2537 |
| 38 |
An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC |
| 39 |
Axiomatic Domain Theory in Categories of Partial Maps |
| 40 |
The Proof Theory and Semantics of Intuitionistic Modal Logic |
| ปี พ.ศ. 2536 |
| 41 |
A Framework for Defining Logics |
| 42 |
Concrete Domains |
| 43 |
A Calculus for Access Control in Distributed Systems |
| ปี พ.ศ. 2534 |
| 44 |
On Functors Expressible in the Polymorphic Typed Lambda Calculus |
| 45 |
A Semantics for Static Type Inference |
| ปี พ.ศ. 2533 |
| 46 |
Probabilistic Non-Determinism |
| ปี พ.ศ. 2531 |
| 47 |
The Partial Lambda Calculus |
| ปี พ.ศ. 2526 |
| 48 |
Operational approach to semantics and translation for programming languages |
| ปี พ.ศ. 2523 |
| 49 |
Computational model of learning |
| ปี พ.ศ. 2515 |
| 50 |
Automatic Methods of Inductive Inference |
