In
Altenkirch, Thorsten; McBride, Conor (ed.), Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, pp. 140-159Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Altenkirch, Thorsten
McBride, Conor
Organization
Foundations
Book title
Altenkirch, Thorsten; McBride, Conor (ed.), Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Page start
p. 140
Page end
p. 159
Subject
Lecture Notes in Computer Science; FoundationsThis item appears in the following Collection(s)
- Academic publications [232208]
- Electronic publications [115401]
- Faculty of Science [34958]
- Open Access publications [82702]
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.