![Theoretical computer science / Models of computation / Type erasure / Proof theory / Lambda calculus / Valuation / Type system / Admissible rule / Natural deduction / Mathematical logic / Mathematics / Type theory Theoretical computer science / Models of computation / Type erasure / Proof theory / Lambda calculus / Valuation / Type system / Admissible rule / Natural deduction / Mathematical logic / Mathematics / Type theory](https://www.pdfsearch.io/img/5a5e0aad14c8cc0d766c004017eb7a7d.jpg)
| Document Date: 2008-11-13 13:58:09 Open Document File Size: 235,04 KBShare Result on Facebook
Company Applied Type Systems / Pure Type Systems Pure Type Systems / Implicit Pure Type Systems / Erasure Pure Type Systems / Pure Type Systems / / / Facility Tim Sheard Portland State University / / IndustryTerm explicit and implicit dependent products / explicit product / expressive type systems / type systems / implicit product / / Organization Portland State University / International Criminal Court / / Person Nat / Tim Sheard / / Product Lemma 4 / / ProgrammingLanguage Haskell / Dependent ML / /
SocialTag |