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

Publiceret: 1992-02-01

Articles