Počet záznamů: 1
The placeholder view of assumptions and the Curry–Howard correspondence
- 1.Pezlar, I. The placeholder view of assumptions and the Curry–Howard correspondence. Synthese. 2021, 198(11), 10109-10125. ISSN 0039-7857. E-ISSN 1573-0964. Dostupné z: doi: 10.1007/s11229-020-02706-z.
Počet záznamů: 1