Back to Results
First PageMeta Content
Logic in computer science / Propositional calculus / Type theory / Proof theory / Natural deduction / Function / Principia Mathematica / First-order logic / Interpretation / Logic / Mathematical logic / Mathematics


Intuitionistic Type Theory Per Martin-L¨of Notes by Giovanni Sambin of a series of lectures
Add to Reading List

Document Date: 2009-06-20 07:32:17

Open Document

File Size: 672,45 KB

Share Result on Facebook

City

Amsterdam / Munich / London / Stockholm / /

Company

Russell / /

Country

Netherlands / /

Event

Reorganization / /

Facility

Prentice Hall / /

IndustryTerm

cartesian product / /

Person

Enrico Pagello / Giovanni Sambin / Helmut Schwichtenberg / /

ProgrammingLanguage

Lambda Calculus / ALGOL / /

ProvinceOrState

New Jersey / /

PublishedMedium

Communications of the ACM / Mathematische Zeitschrift / /

SocialTag