Grammatical Framework: A Type-Theoretical Grammar Formalism (2003)

Cached

Download Links

by Aarne Ranta
Citations:72 - 19 self

Documents Related by Co-Citation

23 An extensible proof text editor – Thomas Hallgren, Aarne Ranta - 2000
22 An authoring tool for informal and formal requirements specifications – Reiner Hähnle, Kristofer Johannisson, Aarne Ranta - 2002
13 Multilingual Syntax Editing in GF – Janna Khegai, Aarne Ranta - 2003
12 Modular Grammar Engineering – Aarne Ranta - 2007
20 XML and Multilingual Document Authoring: Convergent Trends – Marc Dymetman, Veronika Lux, Aarne Ranta - 2000
8 Longman dictionary of contemporary English – Nadine Perera, Peter Poller, Rosemary Stegmann The - 1978
70 Some Logical Aspects of Grammatical Structure – H Curry - 1961
37 Extracting Text from Proof – Yann Coscoy, Gilles Kahn, Laurent Thery - 1995
12 Expressivity and complexity of the Grammatical Framework – Peter Ljunglöf, Peter Ljunglöf, C Peter Ljunglöf - 2004
5 Interactive Multilingual Web Applications with Grammatical Framework – Moisés Salvador, Meza Moreno, Björn Bringert
27 Functional morphology – Markus Forsberg, Aarne Ranta - 2004
22 Formal Proof Sketches – Freek Wiedijk - 2002
87 Multilingual Authoring Using Feedback Texts – Richard Power , Doina Scott - 1998
1207 Head-Driven Phrase Structure Grammar. The – Carl Pollard, Ivan A Sag - 1994
3 GF Parallel Resource Grammars and Russian – Janna Khegai
110 The Parallel Grammar Project – Miriam Butt, Hiroshi Masuichi, et al. - 2002
4 Implementing an Open Source Arabic Resource Grammar in GF – A E Dada, A Ranta - 2007
41 Rapid prototyping of scalable grammars: Towards modularity in extensions to a language-independent core – Emily M. Bender, Dan Flickinger - 2005
114 OMDoc an open markup format for mathematical documents (version 1.2 – Michael Kohlhase - 2006