Machine Translation and Type Theory

DOI10.1007/978-94-007-4435-6_14MaRDI QIDQ5253933zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Computational semantics in type theory
• Type Theory and the Theory of Meaning
• scientific article; zbMATH DE number 52357
• Type polymorphism, natural language semantics, and TIL
• The Friedman‐Translation for Martin‐Löf's Type Theory
• Categorial grammar and type theory
• scientific article; zbMATH DE number 783772
• Setoid type theory -- a syntactic translation
• scientific article; zbMATH DE number 1088206

Cites work

• A framework for defining logics
• A Mathematical Theory of Communication
• FUNCTIONAL PEARL Functional chart parsing of context-free grammars
• Grammars as software libraries
• Grammatical Framework
• scientific article; zbMATH DE number 1696759 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3179944 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3502768 (Why is no real title available?)
• scientific article; zbMATH DE number 1341542 (Why is no real title available?)
• scientific article; zbMATH DE number 590562 (Why is no real title available?)
• scientific article; zbMATH DE number 1952711 (Why is no real title available?)
• scientific article; zbMATH DE number 777480 (Why is no real title available?)
• scientific article; zbMATH DE number 783772 (Why is no real title available?)
• scientific article; zbMATH DE number 3251420 (Why is no real title available?)
• scientific article; zbMATH DE number 3254847 (Why is no real title available?)
• Logical Aspects of Computational Linguistics
• Semantics of context-free languages
• The alignment template approach to statistical machine translation

Cited in

(8)

• scientific article; zbMATH DE number 4039334 (Why is no real title available?)
• scientific article; zbMATH DE number 1292571 (Why is no real title available?)
• scientific article; zbMATH DE number 1949726 (Why is no real title available?)
• scientific article; zbMATH DE number 1952711 (Why is no real title available?)
• scientific article; zbMATH DE number 2080376 (Why is no real title available?)
• Grammatical Framework
• Machine translation using constraint-based synchronous grammar
• scientific article; zbMATH DE number 2243629 (Why is no real title available?)

Describes a project that uses

Uses Software

• ALF
• LEGO

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

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