A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Metacircularity in the polymorphic λ-calculus
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