Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Proof theory / Data types / Dependently typed programming / Natural deduction / Curry–Howard correspondence / Linear logic / Subtype polymorphism / Logic / Mathematics / Type theory


The Logical Basis of Evaluation Order and Pattern-Matching Noam Zeilberger
Add to Reading List

Document Date: 2009-10-21 18:53:38

Open Document

File Size: 1,31 MB

Share Result on Facebook
UPDATE