Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports

Inductive Definitions in Type Theory

cs.chalmers.se
Visit Site

Internet resource accompanying a graduate course given by Peter Dybjer.

Category
Martin-Löf's Type Theory
Visits
475
Added
Nov 16, 2024
Rating
(147)
Rate This Site
More in Martin-Löf's Type Theory Report
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Nuprl Project Related Web Sites 456 visits
Extensional Concepts in Intensional Type Theory 382 visits
Implementing Mathematics Using NuPrl 238 visits
Martin-Löf Type Theory: Semantics and Proof Theory 155 visits
Get the best links delivered weekly — hand-picked from 1,200,810 resources