Active Bibliography

12 A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings – Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey - 2005
3 Directly reflective meta-programming – Aaron Stump - 2008
26 How to Believe a Machine-Checked Proof – Robert Pollack - 1997
10 Reflecting proofs in first-order logic with equality – Evelyne Contejean, Pierre Corbineau - 2005
Chapter II Automated Reasoning – Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger
Retrieval and Structuring of . . . – Camelia Rosenkranz - 2009
Editorial – unknown authors
10 A verified runtime for a verified theorem prover – Magnus O. Myreen, Jared Davis
7 Reflecting higher-order abstract syntax in NuPRL – Eli Barzilay, Stuart Allen - 2002
9 Solving Equations Involving Sequence Variables and Sequence Functions – Temur Kutsia - 2004
1 Computing and Proving with Integro-Differential Polynomials in Theorema – Loredana Tec
Hedge Variables – Ra Alves, Besik Dundua, Mário Florido, Temur Kutsia, K. Bosa, B. Buchberger, R. Hemmecke, T. Jebelean, M. Kauers, T. Kutsia, Ra Alves, Besik Dundua, Mário Florido, Temur Kutsia
Thesis proposal Scheme-based Theorem Discovery and Concept Invention – Omar Montano Rivas, Supervisors Dr, Roy Mccasl, Dr. Lucas Dixon, Prof Alan Bundy - 2008
This work is licensed under a Creative Commons Attribution-Noncommercial-No – Adam Chlipala - 2008
11 Programming With Types – Stephanie Claudene Weirich - 2002
1 Implementing Certified Programming Language Tools Dependent Type Theory – Adam James Chlipala, Adam James Chlipala - 2007
The Australian National University – Alwen Tiu, Dale Miller
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
12 A Notation for Lambda Terms II: Refinements and Applications – Gopalan Nadathur - 1994