No. 386 (1992): PB-386 Polyvariant Analysis of the Untyped Lambda Calculus

Published: 1992-02-01

Articles