Found 2 Documents (Results 1–2)
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).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Klev, Ansten Mørch (1)
- Pezlar, Ivo (1)
Software
- Automath (1)