Matt Fairtlough

	2004
7		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		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		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

Coauthor Index

1	Xiaochun Cheng	[5]
2	Michael Mendler	[1] [2] [3] [4] [5] [6]
3	Eugenio Moggi	[4]
4	Barry Norton	[7]