Number of the records: 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. Available: doi: 10.1007/s11229-020-02706-z.
Number of the records: 1