"Categories and Types in Logic, Language, and Physics"
Claudia Casadio
"Categories and Types in Logic, Language, and Physics" - 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783642547898
Computer Science
Formal Languages and Automata Theory
"Categories and Types in Logic, Language, and Physics" - 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783642547898
Computer Science
Formal Languages and Automata Theory