A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.

Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski

Browse the full FM paper archive.