Zach, Richard. "The Significance of the Curry-Howard Isomorphism".
Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium, edited by Gabriele M. Mras, Paul Weingartner and Bernhard Ritter, Berlin, Boston: De Gruyter, 2020, pp. 313-326.
https://doi.org/10.1515/9783110657883-018
Zach, R. (2020). The Significance of the Curry-Howard Isomorphism. In G. Mras, P. Weingartner & B. Ritter (Ed.),
Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium (pp. 313-326). Berlin, Boston: De Gruyter.
https://doi.org/10.1515/9783110657883-018
Zach, R. 2020. The Significance of the Curry-Howard Isomorphism. In: Mras, G., Weingartner, P. and Ritter, B. ed.
Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter, pp. 313-326.
https://doi.org/10.1515/9783110657883-018
Zach, Richard. "The Significance of the Curry-Howard Isomorphism" In
Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium edited by Gabriele M. Mras, Paul Weingartner and Bernhard Ritter, 313-326. Berlin, Boston: De Gruyter, 2020.
https://doi.org/10.1515/9783110657883-018
Zach R. The Significance of the Curry-Howard Isomorphism. In: Mras G, Weingartner P, Ritter B (ed.)
Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter; 2020. p.313-326.
https://doi.org/10.1515/9783110657883-018
Copied to clipboard