nLab
Adam Chlipala
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
webpage
category:
people
Created on November 24, 2011 16:51:19 by
Urs Schreiber
(131.174.40.116)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
type of propositions
,
type of types
,
Coq
,
inductive type
,
dependent type theory
,
certified programming