Matt Fairtlough

Publication Activity (10 Years)

Years Active: 1994-2004
Publications (10 Years): 0

Publications

Barry Norton, Matt Fairtlough
Reactive Types for Dataflow-Oriented Software Architectures. WICSA (2004)
Matt Fairtlough, Michael Mendler
Intensional Completeness in an Extension of Gödel/Dummett Logic. Stud Logica 73 (1) (2003)
Matt Fairtlough, Michael Mendler, Xiaochun Cheng
Abstraction and Refinement in Higher Order Logic. TPHOLs (2001)
Matt Fairtlough, Michael Mendler, Eugenio Moggi
Special issue: Modalities in type theory. Math. Struct. Comput. Sci. 11 (4) (2001)
Matt Fairtlough, Michael Mendler
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem. TYPES (2000)
Matt Fairtlough, Michael Mendler
Propositional Lax Logic. Inf. Comput. 137 (1) (1997)
Matt Fairtlough, Michael Mendler
An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. CSL (1994)