Menu
Home
Help and information
About this website
Privacy Policy
Wil Dekkers
1 published title
Lambda calculus with types
(Contributor)
1 edition
ISBN: 9780521766142
Association for Symbolic Logic
2013
Details