![Proof theory / Deduction / Curry–Howard correspondence / Logic in computer science / Philosophy of computer science / Type theory / Entailment / Valuation / Branch point / Logic / Abstract algebra / Mathematics Proof theory / Deduction / Curry–Howard correspondence / Logic in computer science / Philosophy of computer science / Type theory / Entailment / Valuation / Branch point / Logic / Abstract algebra / Mathematics](https://www.pdfsearch.io/img/4cae8f74424c749a4b4e25ce6b3abe89.jpg)
| Document Date: 2014-07-10 05:47:25 Open Document File Size: 208,24 KBShare Result on Facebook
Company contra S a / / / Facility Aaron Stump Computer Science The University / / IndustryTerm type-and-effect systems / type checking algorithm / implicit products / / Organization The University of Iowa / University of Pennsylvania / ETA / / Person ASE S UC / Aaron Stump / Stephanie Weirich / ASE Z ERO / / Position General / judge / programmer / / Product T R / / ProgrammingLanguage EC / / ProvinceOrState Iowa / Pennsylvania / / Technology type checking algorithm / /
SocialTag |