Machine Translation and Type Theory

DOI10.1007/978-94-007-4435-6_14zbMath1314.68340OpenAlexW2098952785MaRDI QIDQ5253933

Aarne Ranta

Publication date: 5 June 2015

Published in: Epistemology versus Ontology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-4435-6_14

Mathematics Subject Classification ID

Natural language processing (68T50)

Uses Software

• ALF
• LEGO

Cites Work

• A Mathematical Theory of Communication
• The Alignment Template Approach to Statistical Machine Translation
• A framework for defining logics
• FUNCTIONAL PEARL Functional chart parsing of context-free grammars
• Grammatical Framework
• Semantics of context-free languages
• Logical Aspects of Computational Linguistics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Machine Translation and Type Theory