The Church-Rosser property for βη-reduction in typed λ-calculi

Thumbnail
Fulltext:
__104055.pdf
Size:
761.6Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
1992
Author(s)
Geuvers, H.
Publisher
Washington : IEEE
In
Seventh Annual IEEE Symposium on Logic in Computer Science, LICS '92, 22-25 June, Santa Cruz, CA, USA. Proceedings, pp. 453-460
DOI
Annotation
LICS '92
Publication type
Article in monograph or in proceedings
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/104055   https://hdl.handle.net/2066/104055
Display more details

Upload full text

Use your RU or RadboudUMC credentials to log in with SURFconext to upload a file for processing by the repository team.