Semantics of Propositional Attitudes in Type-Theory of Algorithms.

Roussanka Loukanova

Published in: LENLS (2023)

Keyphrases

learning algorithm
computationally efficient
computational complexity
computational cost
orders of magnitude
linear algebra
worst case
theoretical analysis
speech acts
general theory