Little theories

This publication has 11 references indexed in Scilit:

• Structure and representation in LF
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The formalization of Interpretability
  Studia Logica, 1991
• A partial functions version of Church's simple theory of types
  The Journal of Symbolic Logic, 1990
• Inference rules using local contexts
  Journal of Automated Reasoning, 1988
• A mathematical characterization of interpretation between theories
  Studia Logica, 1984
• Structured theories in LCF
  Published by Springer Nature ,1983
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• A lattice of interpretability types of theories
  The Journal of Symbolic Logic, 1977
• Interpretability of Elementary Theories
  Published by Springer Nature ,1977
• Introduction to Axiomatic Set Theory
  Published by Springer Nature ,1971