Lambda calculus and its models, invited talk

Find Full text
Publication year
1984
Author(s)
Barendregt, H.P.
Publisher
Amsterdam : North-Holland
ISBN
0444868763
In
G. Lolli; G. Longo; A. Marcja (eds.), Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982, pp. 209-239
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/17277   https://hdl.handle.net/2066/17277
Display more details

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.