Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Aarne Ranta

Books by author

Aarne Ranta

Grammatical Framework: Programming with Multilingual Grammars (Studies in Computational Linguistics)

Grammatical Framework: Programming with Multilingual Grammars (Studies in Computational Linguistics)

ENGLISH · PDF

View details →

Grammatical framework : programming with multilingual grammars

Grammatical framework : programming with multilingual grammars

2011 · ENGLISH · DJVU

View details →

Implementing Programming Languages. an Introduction to Compilers and Interpreters

Implementing Programming Languages. an Introduction to Compilers and Interpreters

2012 · ENGLISH · PDF

View details →

Structural Proof Theory

Structural Proof Theory

2001 · ENGLISH · PDF

View details →

Grammatical framework : programming with multilingual grammars

Grammatical framework : programming with multilingual grammars

2011 · ENGLISH · DJVU

View details →

Type-theoretical grammar

Type-theoretical grammar

1995 · ENGLISH · DJVU

View details →

Structural proof theory

Structural proof theory

2001 · ENGLISH · DJVU

View details →

Type-Theoretical Grammar (Indices, 1

Type-Theoretical Grammar (Indices, 1

1995 · ENGLISH · DJVU

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme