nLab
Andrej Bauer
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
home page
blog
category:
people
Created on November 2, 2011 23:11:53 by
Urs Schreiber
(89.204.137.79)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
generalized element
,
computer science
,
algebraic lattice
,
equilogical space
,
principle of omniscience
,
variable
,
homotopy type theory
,
bracket type
,
Coq
,
function extensionality
,
univalence axiom
,
Oberwolfach HoTT-Coq tutorial
,
equivalence in homotopy type theory
,
realizability model