Untyped lambda-calculus, Typed lambda-calculus, sections 32 and 33
Frankfurt : Peter Lang
Inde Swart, H. (ed.), Logic: Mathematics, Language, Computer Science and Philosophy, pp. 132-199
Part of book or chapter of book
Display more detailsDisplay less details
de Swart, H.
de Swart, H. (ed.), Logic: Mathematics, Language, Computer Science and Philosophy
This item appears in the following Collection(s)
- Non RU Publications 
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.