Automating Recursive Type Definitions in Higher Order Logic

This publication has 4 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Logic and Computation
  Published by Cambridge University Press (CUP) ,1987
• Algebras, Theories and Freeness: An Introduction for Computer Scientists
  Published by Springer Nature ,1982
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940