Skip to content

A New Model Construction for the Polymorphic Lambda Calculus.

Dieter Spreen

VenueBLPAR
Year2000
ProceedingsLPAR

Browse the full LPAR paper archive.