Documenti analoghi: Foundations of Software Science and Computation Structures

Soggetto: Categorical models and logics

Soggetto: language theory, automata, and games