Back to Results
First PageMeta Content
Mathematics / Logic / Mathematical logic / Type theory / Automated theorem proving / Logic programming / Models of computation / Logic in computer science / Substitution / Structure / Model theory / Parity of a permutation


A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands
Add to Reading List

Document Date: 2014-05-12 17:56:59

Open Document

File Size: 262,47 KB

Share Result on Facebook