Aarne Ranta

Auteur

Aarne Ranta

Wikipedia
Aarne Ranta
Deel op Twitter



 
Boeken
 
 
Prikbord
 
 
 
Fans
 
 

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Meedoen

Boeken

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, dit kan je alleen doen als je ingelogd bent. Als je nog geen lid bent, kun je dat hier worden.'); });