Fulltext:
91611.pdf
Embargo:
until further notice
Size:
496.2Kb
Format:
PDF
Description:
Author’s version preprint
Publication year
2011Publisher
Berlin / Heidelberg : Springer
Series
Lecture Notes in Computer Science ; 6690
ISBN
9783642216909
In
Ong, L. (ed.), Typed Lambda Calculi and Applications, pp. 153-168Publication type
Part of book or chapter of book
Display more detailsDisplay less details
Editor(s)
Ong, L.
Organization
Data Science
Book title
Ong, L. (ed.), Typed Lambda Calculi and Applications
Page start
p. 153
Page end
p. 168
Subject
Lecture Notes in Computer Science; Data ScienceThis item appears in the following Collection(s)
- Academic publications [245050]
- Electronic publications [132309]
- Faculty of Science [37364]
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.