Zobrazeno 1 - 10 of 9 452 pro vyhledávání: '"Type theory"'
1
Akademický článek
Ramified structure.
Autor: Uzquiano, Gabriel1 uzquiano@usc.edu
Publikováno v: Philosophical Studies. Jun2023, Vol. 180 Issue 5/6, p1651-1674. 24p.
Zobrazit plný text záznamu
2
Akademický článek
Bar Induction is Compatible with Constructive Type Theory.
Autor: RAHLI, VINCENT1 vincent.rahli@gmail.com, BICKFORD, MARK2 markb@cs.cornell.edu, COHEN, LIRON2 lironcohen@cornell.edu, CONSTABLE, ROBERT L.2 rc@cs.cornell.edu
Publikováno v: Journal of the ACM. Apr2019, Vol. 66 Issue 2, p1-35. 35p.
Zobrazit plný text záznamu
3
Elektronická kniha
Higher-Order Metaphysics
Autor: Fritz, Peter, editor, Jones, Nicholas K., editor
Externí odkaz: https://doi.org/10.1093/oso/9780192894885.001.0001
Zobrazit plný text záznamu
6
Elektronická kniha
Constructive Type Theory, An Appetizer : Laura Crosilla
Autor: Crosilla, Laura, author
Publikováno v: Higher-Order Metaphysics, 2024.
Externí odkaz: https://doi.org/10.1093/oso/9780192894885.003.0006
Zobrazit plný text záznamu
9
Review
Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy: by D. Corfield, Oxford, Oxford University Press, 2020. x + 180 p. £69. ISBN: 978-0-19-885340-4.
Autor: Klev, A.1 klev@flu.cas.cz, Zwanziger, C.1 zwanziger@flu.cas.cz
Publikováno v: History & Philosophy of Logic. Aug2023, Vol. 44 Issue 3, p337-342. 6p.
Zobrazit plný text záznamu
10
Elektronická kniha
Higher-Order Metaphysics : An Introduction Peter FritzandNicholas KJones
Autor: Peter, Fritz, author, Jones, Nicholas K., author
Publikováno v: Higher-Order Metaphysics, 2024.
Externí odkaz: https://doi.org/10.1093/oso/9780192894885.003.0001
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje