Metacircularity in the polymorphic λ-calculus

This publication has 6 references indexed in Scilit:

• A framework for defining logics
  Journal of the ACM, 1993
• The mystery of the tower revealed: A nonreflective description of the reflective tower
  Higher-Order and Symbolic Computation, 1988
• The calculus of constructions
  Information and Computation, 1988
• Automatic synthesis of typed Λ-programs on term algebras
  Theoretical Computer Science, 1985
• Recursive functions of symbolic expressions and their computation by machine, Part I
  Communications of the ACM, 1960
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940