Grammatical Framework
From MaRDI portal
Publication:4819368
DOI10.1017/S0956796803004738zbMath1085.68026MaRDI QIDQ4819368
Publication date: 24 September 2004
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796803004738
Related Items
Unnamed Item, Translating between Language and Logic: What Is Easy and What Is Difficult, Machine Translation and Type Theory, GF, Selectional restrictions, types and categories, On the expressive power of abstract categorial grammars: Representing context-free formalisms, A derivational model of discontinuous parsing, IDL-PMCFG, a grammar formalism for describing free word order languages, Logic-independent proof search in logical frameworks (short paper), PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems, Covert Movement in Logical Grammar, A pattern for almost compositional functions, MathLang Translation to Isabelle Syntax
Uses Software