Metacircularity in the polymorphic λ-calculus

Frank Pfenning, Peter Lee
1991 Theoretical Computer Science  
Pfenning, F., and P. Lee, Metacircularity in the polymorphic A-calculus, Theoretical Computer Science 89 (1991) 137-159. *
doi:10.1016/0304-3975(90)90109-u fatcat:oopib6b3djbzvpp3ra6yvvqjym