Meaning and computing: two approaches to computable propositions. (English) Zbl 1540.03030
Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 100-116 (2021).