Aarne Ranta: Tutorial 1 on type-theoretical grammar
Time: Tue 2014-09-16 10.00 - 12.00
Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
Participating: Aarne Ranta, University of Gothenburg
Aarne Ranta will give an introduction to his system GF, a grammatical framework designed to deal with multiple languages in parallel. He is professor of Computer Science at the University Gothenburg and well-known for his seminal work on using dependent type theory as a semantics for natural language and for employing it for precise multilingual translations. The GF is system is a freely available programming language based on these ideas.
The tutorial can be taken as an introduction to a PhD-level course Logics for Linguistics that will be given Fall term 2014. (Contact Erik Palmgren if you are interested in this course.)
Tutorial 1: Introduction to GF.
We will explain the GF formalism and its purpose, as well as show with practical examples how GF grammars are created and used. We will together build some simple GF grammars and test them on a computer.
References
A. Ranta. Grammatical Framework: Programming with Multilingual Grammars, CSLI, Stanford, 2011.
A. Ranta. Type Theoretical Grammar, Oxford University Press, Oxford, 1994.