| Publication | Date of Publication | Type |
|---|
| Representation and abstraction in theories of operations and classes | 2024-08-23 | Paper |
| Correctness, explanation and intention | 2020-05-12 | Paper |
| Computational artifacts. Towards a philosophy of computer science | 2018-11-28 | Paper |
Machines
A Computable Universe | 2013-02-26 | Paper |
| Computable Models | 2008-10-02 | Paper |
Computable Models
Journal Of Logic And Computation | 2008-05-05 | Paper |
Computability in Specification
Journal Of Logic And Computation | 2007-04-13 | Paper |
The Foundations of Specification
Journal Of Logic And Computation | 2006-03-09 | Paper |
| scientific article; zbMATH DE number 2188308 (Why is no real title available?) | 2005-07-26 | Paper |
Semantics and Stratification
Journal Of Logic And Computation | 2005-07-13 | Paper |
Type inference for set theory
Theoretical Computer Science | 2002-03-03 | Paper |
Sets, types and type-checking
Journal Of Logic And Computation | 2000-07-31 | Paper |
Constructive Z
Journal Of Logic And Computation | 1998-12-10 | Paper |
Reading between the lines in constructive type theory
Journal Of Logic And Computation | 1997-06-10 | Paper |
Weak Theories of Operations and Types
Journal Of Logic And Computation | 1996-03-17 | Paper |
Lazy Theories of Operations and Types
Journal Of Logic And Computation | 1993-12-06 | Paper |
Logics of truth
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4148081 (Why is no real title available?) | 1988-01-01 | Paper |
A theory of properties
Journal of Symbolic Logic | 1987-01-01 | Paper |
An Introduction to the Formal Specification of Relational Query Languages
The Computer Journal | 1985-01-01 | Paper |
Nominalization and Scott's domains. II
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
Three theories of nominalized predicates
Studia Logica | 1985-01-01 | Paper |
Montague semantics, nominalization and Scott's domains
Linguistics and Philosophy | 1983-01-01 | Paper |
Counterfactuals without possible worlds
Journal of Philosophical Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3640912 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3509742 (Why is no real title available?) | 1975-01-01 | Paper |
