A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft (1988)

Cached

Download Links

by Andrzej Borzyszkowski , Ryszard Kubiak , Stefan Sokolowski
Venue:Proceedings VDM'88 Symposium, Lecture Notes in Computer Science 328
Citations:3 - 1 self