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
9 Reflecting proofs in first-order logic with equality – Evelyne Contejean, Pierre Corbineau - 2005
Editorial – unknown authors
Retrieval and Structuring of . . . – Camelia Rosenkranz - 2009
Automated Reasoning – Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger
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
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
1 Computing and Proving with Integro-Differential Polynomials in Theorema – Loredana Tec
Scheme-based Theorem Discovery and Concept Invention – Omar Montano Rivas - 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