Grammatical Framework Tutorial Revised version [1 citations — 0 self]
Download:
|
|
by Aarne Ranta
http://www.compulog.org/net-www/Forum/AarneRantaGFtutorial.ps
Add To MetaCart
Abstract:
The grammatical framework (GF) is a framework for writing and using grammars. GF grammars have a special format that comprises not only syntax, in the usual linguistic sense, but also semantics, in a logical sense. Thus GF extends linguistic grammar
Citations
| 269 | Intuitionistic Type Theory – Martin-Löf - 1984 |
| 76 | Type-Theoretical Grammar – Ranta - 1994 |
| 36 | The Implementation of ALF--A Proof Editor Based on MartinL"of 's Monomorphic Type Theory with Explicit Substitution – Magnusson - 1995 |
| 4 | Fudgets—Purely Functional Processes with applications to Graphical User Interfaces – Carlsson, Hallgren - 1998 |
| 1 | A functional framework for grammars", manuscript – Ranta - 1998 |
| 1 | Grammatical Framework Syntax and Semantics – Ranta - 1999 |
