Searching for "A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft
by Andrzej Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski — 1988 — Proceedings VDM'88 Symposium, Lecture Notes in Computer Science 328
…A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus A Contribution to MetaSoft Andrzej…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB