![book Grammatical framework : programming with multilingual grammars](/covers/files_170/3033000/ac0099b84c9fc9de7a643fb5114d3a79-g.jpg)
- Author: Aarne Ranta
- Language: English
- Year: 2011
![book Implementing Programming Languages. an Introduction to Compilers and Interpreters](/covers/files_170/2227000/d41b1fec7a2aee5a248b283606654e80-d.jpg)
- Author: Aarne Ranta
- Language: English
- Year: 2012
![book Structural Proof Theory](/covers/files_170/927000/b26080e40beeee4fa31db4f13120f447-d.jpg)
- Author: Professor Sara Negri Jan von Plato Aarne Ranta
- Language: English
- Year: 2001
![book Grammatical framework : programming with multilingual grammars](/covers/files_170/911000/462a017c97b9cf5b34bef87fac0ee3bd-d.jpg)
- Author: Aarne Ranta
- Language: English
- Year: 2011
![book Type-theoretical grammar](/covers/files_170/872000/f51e004ba959febb73fd2b4b3fbb3eeb-d.jpg)
- Author: Aarne Ranta
- Language: English
- Year: 1995
![book Structural proof theory](/covers/files_170/292000/b63c6461e99f37557ef1cb6b9ae2482a-d.jpg)
- Author: Professor Sara Negri Jan von Plato Aarne Ranta
- Language: English
- Year: 2001
![book Type-Theoretical Grammar (Indices, 1](/covers/files_170/270000/50b75381a36f71e182ea0f03fad19bec-d.jpg)
- Author: Aarne Ranta
- Language: English
- Year: 1995