Post #2463480
2026-05-10 12:12 UTC
i am not a mathematician or a computer scientist, i'm a linguist. it just so happens that i study the languages with which people express precise arguments and computations.
Replies (2)
-
@shapr@recurse.social 2026-05-10 12:22
@ncf@types.pl so you study how Curry and Howard might have corresponded?
-
@tito@social.sciences.re 2026-05-10 15:22
@ncf@types.pl Related: https://doi.org/10.1007/978-3-642-37012-0