Type theory.
Overview
Works: | 9 works in 5 publications in 5 languages |
---|
Titles
A Modern Perspective on Type Theory = From its Origins until Today /
by:
(Language materials, printed)
Extended abstracts fall 2013 = geometrical analysis, type theory, homotopy theory and univalent foundations /
by:
(Language materials, printed)
Automated reasoning in higher-order logic : = set comprehension and extensionality in Church's type theory /
by:
(Language materials, printed)
Reasoning in simple type theory : = festschrift in honour of Peter B. Andrews on his 70th birthday /
by:
(Language materials, printed)
Immanent reasoning or equality in action = a plaidoyer for the play level /
by:
(Language materials, printed)
Subjects