| |
| 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 | |
| 1 | Xiaochun Cheng | [5] |
| 2 | Michael Mendler | [1] [2] [3] [4] [5] [6] |
| 3 | Eugenio Moggi | [4] |
| 4 | Barry Norton | [7] |