Barendregt, H. P.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Lambda calculus with types /
by:
Barendregt, H. P.; Dekkers, Wil.; Statman, Richard.
(Language materials, printed)
Subjects