Vytisknout
0573620 - FLÚ 2024 RIV US eng J - Článek v odborném periodiku
Klev, Ansten
Spiritus asper versus lambda. On the nature of functional abstraction.
Notre Dame Journal of Formal Logic. Roč. 64, č. 2 (2023), s. 205-223. ISSN 0029-4527. E-ISSN 1939-0726
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: functional abstraction * type theory * Gottlob Frege
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1215/00294527-10670089
Trvalý link: https://hdl.handle.net/11104/0344218
Klev, Ansten
Spiritus asper versus lambda. On the nature of functional abstraction.
Notre Dame Journal of Formal Logic. Roč. 64, č. 2 (2023), s. 205-223. ISSN 0029-4527. E-ISSN 1939-0726
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: functional abstraction * type theory * Gottlob Frege
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1215/00294527-10670089
Trvalý link: https://hdl.handle.net/11104/0344218