| 2004 |
|---|
| 7 | EE | Barry Norton,
Matt Fairtlough:
Reactive Types for Dataflow-Oriented Software Architectures.
WICSA 2004: 211-220 |
| 2003 |
|---|
| 6 | | Matt Fairtlough,
Michael Mendler:
Intensional Completeness in an Extension of Gödel/Dummett Logic.
Studia Logica 73(1): 51-80 (2003) |
| 2001 |
|---|
| 5 | EE | Matt Fairtlough,
Michael Mendler,
Xiaochun Cheng:
Abstraction and Refinement in Higher Order Logic.
TPHOLs 2001: 201-216 |
| 4 | | Matt Fairtlough,
Michael Mendler,
Eugenio Moggi:
Special issue: Modalities in type theory.
Mathematical Structures in Computer Science 11(4): 507-509 (2001) |
| 2000 |
|---|
| 3 | EE | Matt Fairtlough,
Michael Mendler:
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem.
TYPES 2000: 63-78 |
| 1997 |
|---|
| 2 | | Matt Fairtlough,
Michael Mendler:
Propositional Lax Logic.
Inf. Comput. 137(1): 1-33 (1997) |
| 1994 |
|---|
| 1 | | Matt Fairtlough,
Michael Mendler:
An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware.
CSL 1994: 354-368 |
