Aarne Ranta

Identifiers

Open LibraryOL587950A

Top Subjects

Semantics (Philosophy) (1)
Logic. (1)
Grammar, Comparative and general. (1)
Type theory. (1)
Mathematics (1)
Probability & Statistics - General (1)
Proof theory (1)

Books by Aarne Ranta

Total count: 5

Type-theoretical grammar

Clarendon Press1994-01-01
Structural Proof Theory

Cambridge University Press2001-06-18
Advances in Natural Language Processing6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings

Springer2008-01-01
Grammatical frameworkprogramming with multilingual grammars

CSLI Publications, Center for the Study of Language and Information2011-01-01
Implementing Programming Languages. an Introduction to Compilers and Interpreters

College Publications2012-05-09