Počet záznamů: 1
The placeholder view of assumptions and the Curry–Howard correspondence
- 1.Pezlar, Ivo
The placeholder view of assumptions and the Curry–Howard correspondence.
Synthese. Roč. 198, č. 11 (2021), s. 10109-10125. ISSN 0039-7857. E-ISSN 1573-0964
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.595, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11229-020-02706-z
http://hdl.handle.net/11104/0322869
Počet záznamů: 1