Matt Fairtlough

According to our database, Matt Fairtlough authored at least 7 papers between 1994 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Reactive Types for Dataflow-Oriented Software Architectures.

Barry Norton, Matt Fairtlough

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

2003

Intensional Completeness in an Extension of Gödel/Dummett Logic.

Matt Fairtlough, Michael Mendler

Stud Logica, 2003

2001

Special issue: Modalities in type theory.

Matt Fairtlough, Michael Mendler, Eugenio Moggi

Math. Struct. Comput. Sci., 2001

Abstraction and Refinement in Higher Order Logic.

Matt Fairtlough, Michael Mendler, Xiaochun Cheng

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000

On the Logical Content of Computational Type Theory: A Solution to Curry's Problem.

Matt Fairtlough, Michael Mendler

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

1997

Propositional Lax Logic.

Matt Fairtlough, Michael Mendler

Inf. Comput., 1997

1994

An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware.

Matt Fairtlough, Michael Mendler

Proceedings of the Computer Science Logic, 8th International Workshop, 1994