Number of the records: 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
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.595, year: 2021
Method of publishing: Limited access
https://doi.org/10.1007/s11229-020-02706-z
http://hdl.handle.net/11104/0322869
Number of the records: 1