The semantics of reflected proof

This publication has 10 references indexed in Scilit:

• Computational metatheory in Nuprl
  Published by Springer Nature ,2005
• Elf: a language for logic definition and verified metaprogramming
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The calculus of constructions
  Information and Computation, 1988
• Reflection and semantics in LISP
  Published by Association for Computing Machinery (ACM) ,1984
• Prolegomena to a theory of mechanized formal reasoning
  Artificial Intelligence, 1980
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• Metamathematical extensibility for theorem verifiers and proof-checkers
  Computers & Mathematics with Applications, 1979
• Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
  Published by Springer Nature ,1973
• Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of Analysis
  Published by Elsevier ,1970
• A Basis for a Mathematical Theory of Computation)
  Published by Elsevier ,1963