Back to Results
First PageMeta Content
Logic in computer science / Lambda calculus / Models of computation / Computability theory / Combinatory logic / Curry–Howard correspondence / Model theory / Structure / Programming Computable Functions / Theoretical computer science / Mathematics / Mathematical logic


Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands
Add to Reading List

Document Date: 2011-09-22 04:05:49

Open Document

File Size: 350,54 KB

Share Result on Facebook

City

Piriapolis / /

Company

FV(N ) BV / Pure Type Systems / /

Country

Uruguay / Netherlands / /

IndustryTerm

principle type algorithm / type checking algorithm / type systems / software technology / term applications / proof assistants using type systems / /

Organization

Alpha Lernet Summer School / Alfa Lernet Summer School / /

Person

Nuprl / /

Position

assistant / mathematician / /

Technology

Alpha / functional programming / typing algorithm / http / software technology / type checking algorithm / principle type algorithm / /

URL

www.cs.ru.nl/H.Geuvers/Uruguay2008SummerSchool.html / /

SocialTag