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

• classical lambda calculus in...
• graph - references
• homotopy type theory and...
• multivariable adjunction