Back to Results
First PageMeta Content
Cardinal numbers / Function / Naive set theory / Finite set / Constructible universe / Equivalence relation / Infinite set / Well-order / Set / Mathematics / Mathematical logic / Set theory


Programming in Martin-L¨ of ’s Type Theory
Add to Reading List

Document Date: 2010-04-12 10:42:38

Open Document

File Size: 692,67 KB

Share Result on Facebook

City

Stockholm / /

Company

Oxford University Press / /

Facility

Computing Sciences University of G¨oteborg / /

Holiday

Midsummer Day / /

Organization

Type Theory An Introduction Bengt Nordstr¨om Kent Petersson Jan M. Smith Department / National Swedish Board For Technical Development / Oxford University / Computing Sciences University of G¨oteborg / /

Person

Jan M. Smith / Kent Petersson / Kent Petersson Jan / Peter Dybjer / Larry Paulson / Jan Smith G¨oteborg / Roy Dyckhoff / Gerard Huet / Thierry Coquand / Bengt Nordstr¨om / Anne Salvesen / Samson Abramsky / Christine Paulin-Mohring / Stuart Anderson / Dan Synek / Peter Aczel / Roland Backhouse / /

Position

General / Robert Constable / /

URL

www.cs.chalmers.se/Cs/Research/Logic / /

SocialTag