Grammatical Framework

DOI10.1017/S0956796803004738MaRDI QIDQ4819368zbMATH OpenOpenAlexFDO

Authors Aarne Ranta

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

Mathematics Subject Classification ID

Quantum computation (81P68) Functional programming and lambda calculus (68N18)

Recommendations

• Computational semantics in type theory
• scientific article; zbMATH DE number 1952711
• Machine Translation and Type Theory
• An approach to functional formal models of constraint-based lexicalized grammar
• Narrowing grammar: theory, implementation, and applications

Cited in

(18)

• Computational semantics in type theory
• \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
• scientific article; zbMATH DE number 1952711 (Why is no real title available?)
• MathLang Translation to Isabelle Syntax
• Machine Translation and Type Theory
• Selectional restrictions, types and categories
• On the expressive power of abstract categorial grammars: Representing context-free formalisms
• An approach to functional formal models of constraint-based lexicalized grammar
• Multi-purpose syntax definition with SDF3
• GF
• A derivational model of discontinuous parsing
• scientific article; zbMATH DE number 7453123 (Why is no real title available?)
• A pattern for almost compositional functions
• Logic-independent proof search in logical frameworks (short paper)
• Reusing learning objects via theory morphisms
• Translating between language and logic: what is easy and what is difficult
• Covert movement in logical grammar
• IDL-PMCFG, a grammar formalism for describing free word order languages

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Grammatical Framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4819368)