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:
constructive mathematics
,
generalized element
,
computer science
,
algebraic lattice
,
equilogical space
,
partial combinatory algebra
,
principle of omniscience
,
intuitionistic mathematics
,
variable
,
homotopy type theory
,
bracket type
,
Coq
,
function extensionality
,
univalence axiom
,
Oberwolfach HoTTCoq tutorial
,
equivalence in homotopy type theory
,
substitution
,
Kleene's second algebra
,
realizability model
,
Lawvere's fixed point theorem
,
Homotopy Type Theory  Univalent Foundations of Mathematics
,
steady function
,
algebraic side effect
,
computable real number
,
computability
,
computable analysis
,
realizability
,
computable function (analysis)
,
Baire space of sequences
,
computable function
,
computable physics
,
effective topological space