Search results for: Matt Fairtlough
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 201-216
Studia Logica > 2003 > 73 > 1 > 51-80
Information and Computation > 1997 > 137 > 1 > 1-33
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 201-216
Studia Logica > 2003 > 73 > 1 > 51-80
Information and Computation > 1997 > 137 > 1 > 1-33