Adding New Rules to an LCF-style Logic Implementation

This publication has 4 references indexed in Scilit:

• A syntactic theory of sequential state
  Theoretical Computer Science, 1989
• Mix: A self-applicable partial evaluator for experiments in compiler generation
  Higher-Order and Symbolic Computation, 1989
• Prolegomena to a theory of mechanized formal reasoning
  Artificial Intelligence, 1980
• Transfinite recursive progressions of axiomatic theories
  The Journal of Symbolic Logic, 1962