Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Mathematical logic / Computability theory / Type theory / Algorithm / Lambda calculus / Combinatory logic / Set theory / Gottlob Frege / Ernst Zermelo


Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands
Add to Reading List

Document Date: 2011-11-07 11:07:10


Open Document

File Size: 416,45 KB

Share Result on Facebook