![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 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](https://www.pdfsearch.io/img/e5ee0816318b96220ab4da3bf26332af.jpg)
| Document Date: 2009-10-21 18:53:38 Open Document File Size: 1,31 MBShare Result on Facebook
City Pittsburgh / Paris / / Country United States / / Facility Computer Science Carnegie Mellon University / / IndustryTerm historical tools / proof search / / Organization AT&T Foundation / U.S. government / School of Computer Science Carnegie Mellon University Pittsburgh / Thesis Committee / / Person Peter Lee / Frank Pfenning / Noam Zeilberger / Michael Chabon / Paul-André Mellies / Robert Harper Paul-André / / / Position author / co-chair / Harper / / ProgrammingLanguage Haskell / Lisp / ML / / ProvinceOrState Pennsylvania / /
SocialTag |