Back to Results
First PageMeta Content
Type theory / Logic in computer science / Calculus / Twelf


Mind the Gap: Artifacts vs Insights in PL Theory Nada Amin∗ and Tiark Rompf ∗‡ ‡ ∗
Add to Reading List

Document Date: 2014-01-22 20:32:50


Open Document

File Size: 77,21 KB

Share Result on Facebook