Computational metatheory in Nuprl

This publication has 6 references indexed in Scilit:

• Constructive Mathematics and Computer Programming
  Published by Elsevier ,2014
• A higher-order implementation of rewriting
  Science of Computer Programming, 1983
• 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
• The mathematical language AUTOMATH, its usage, and some of its extensions
  Published by Springer Nature ,1970