£54.00
Type-Logical Syntax
You may also like
Syntax in the Treetops
£45.00
On the Logic and Learning of Language
£8.99
Formal Semantics in Modern Type Theories
£138.95
Types and Programming Languages
£95.00
Formal Languages and Compilation
£74.50
Syntax of Meaning and the Meaning of Syntax
£54.00
Mathematical Structure of Syntactic Merge
£54.00
Programming with Higher-Order Logic
£44.00
Introduction to Theory of Computation
£64.99
Minimalist Syntax for Quantifier Raising, Topicalization and Focus Movement: A Search and Float Approach for Internal Merge
£69.99
Computational Formalism
£45.00
Deductive Software Verification: Future Perspectives
£44.99