A Monadic Interpretation of Tactics (2002)

Cached

Download Links

by Andrew Martin , Jeremy Gibbons
Citations:1 - 0 self

Documents Related by Co-Citation

3 Proof Generalization and Proof Reuse – Olivier Pons, Inria Sophia Antipolis
3 A graph-based approach towards discerning inherent structures in a digital library of formal mathematics – Lori Lorigo, Jon Kleinberg, Richard Eaton, Robert Constable - 2004
2 A tactic calculus - abridged version – A Martin, P Gardiner, J Woodcock - 1995
8 Similarities and Reuse of Proofs in Formal Software Verification – Erica Melis, Axel Schairer - 1998
4 Internal Analogy in Theorem Proving – Erica Melis, Jon Whittle - 1996
2 On partially additive Kleene algebras – Riccardo Pucella - 2005
2 Isabelle specification and proofs of Church-Rosser theorems – Georg Struth - 2001
7 Three Tactic Theorem Proving – Don Syme - 1999
5 Analogy in CL A M – J Whittle - 1995
9 NIST Digital Library of Mathematical Functions – Daniel Lozier - 2003
2 User interface features in Theorema: A summary – Florina Piroi - 2004
36 A Model of Analogy-Driven Proof-Plan Construction – Erica Melis - 1995
17 Analogy as a Means of Discovery in Problem Solving and Learning – J Munyer - 1981
4 Abstraction using generalization functions – D Plaisted - 1986
55 Real Theorem Provers Deserve Real User-Interfaces – Laurent Thery , Yves Bertot, Gilles Kahn - 1992
36 Axioms For Bigraphical Structure – Robin Milner - 2005
5 Sørensen and Pawe̷l Urzyczyn. Lectures on the Curry-Howard Isomorphism, volume 149 – Morten Heine - 2006
21 Technical Aspects of the Digital Library of Mathematical Functions – Bruce R. Miller, Abdou Youssef
19 Abstract theories in HOL – Phil Windley