Aarne Ranta

Author

Aarne Ranta

Wikipedia
Aarne Ranta
Share on Twitter



 
Books
 
 
Wall
 
 
 
Fans
 
 

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

Structural Proof Theory
Structural Proof Theory
 »
 
 
 
 
 

Type-theoretic Grammar Indices 1 C
Type-theoretic Grammar Indices 1 C
Constructive type theory is a unified theory of logic, mathematics and computer programming. This introduction to type-theoretical thinking puts its techniqu... »
 
 
 
 
 

Grammatical Framework
Grammatical Framework
Programming With Multilingual Grammars »
 
 
 
 
 

Structural Proof Theory
Structural Proof Theory
 »
 
 
 
 
 

 
domReadyCallbacks.push( function() { new Error('Sorry, you can only do this when you're logged in. If you're not a member yet, please join us.'); });