Theoretical Informatics and Applications Will be set by the publisher Informatique Th´ eorique et Applications - Curry–Howard correspondence - Document - PDFSEARCH.IO

First Page	Meta Content
	Theoretical Informatics and Applications Will be set by the publisher Informatique Th´ eorique et Applications Add to Reading List Document Date: 2005-06-20 12:22:00 Open Document File Size: 387,58 KB Share Result on Facebook Company Informatique Th / / Country Sweden / / / Event Product Issues / / Facility Chalmers University of Technology / / IndustryTerm thematic networks / type-checking algorithm / bidirectional type checking algorithm / type systems / / Organization Swedish Foundation of Strategic Research / Department of Computer Science / Chalmers University of Technology / European Union / / Person Andreas Abel / / Product terms / / ProgrammingLanguage Haskell / R / / RadioStation Core / / Technology bidirectional type checking algorithm / functional programming / type-checking algorithm / / SocialTag Recursion Proof theory Computability theory Logic in computer science Lambda calculus Symbol Natural deduction Curry–Howard correspondence Fixed-point combinator Theoretical computer science

Theoretical Informatics and Applications Will be set by the publisher Informatique Th´ eorique et ApplicationsAdd to Reading List