Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology
Add to Reading List
Document Date: 2014-05-15 11:45:56
Open Document
File Size: 174,72 KB
Share Result on Facebook
The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology