Spahn
All Pages
All Pages
All pages in category 'reference' listed alphabetically
Wanted Pages
Nonexistent pages that other pages in category 'reference' reference

Martin Loef Contexts And...?
wanted by
Primiero, information and knowledge, chapter 3, formal representation of the notion of information

Michael Warren?
wanted by
homotopy type theory and Voevodsky's univalent foundations

Updating Belief?
wanted by
Primiero, information and knowledge, chapter 3, formal representation of the notion of information

Voevodsky's univalent foundations?
wanted by
homotopy type theory and Voevodsky's univalent foundations

calculus of contexts and...?
wanted by
Primiero, information and knowledge, chapter 3, formal representation of the notion of information

constructive type theory?
wanted by
Primiero, information and knowledge, chapter 3, formal representation of the notion of information

context?
wanted by
Primiero, information and knowledge, chapter 3, formal representation of the notion of information
Orphaned Pages
Pages in category 'reference' that no other page reference