Deliverable 12

Technique for syntax-semantics interface for program verification with or without type systems.

• Type-Theory of Algorithms with Chain-Free Memory, Roussanka Loukanova, 21st International Conference on Distributed Computing and Artificial Intelligence (DCAI’24).

• Semantics of Propositional Attitudes in Type-Theory of Algorithms, Roussanka Loukanova, Logic and Engineering of Natural Language Semantics (LENLS) 2023, LNCS 14569.

• Logic Operators and Quantifiers in Type-Theory of Algorithms, Roussanka Loukanova, Logic and Engineering of Natural Language Semantics (LENLS) 2022, LNCS 14213.