scientific article; zbMATH DE number 1129259

MaRDI QIDQ4380482zbMATH OpenFDO

Authors Aarne Ranta

Publication date 1997

Full work available at URL http://www.numdam.org/item?id=MSH_1997__139__5_0, https://eudml.org/doc/94502

zbMATH Keywords

constructive type theoryMontague grammarmathematical symbolismdeclarative implementation in the proof editor ALFfragment of Frenchtextual structures of proofs

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Recommendations

• scientific article; zbMATH DE number 1129256
• scientific article; zbMATH DE number 1786545
• scientific article; zbMATH DE number 3316045
• Mathematical structures in language
• Grammar as Mathematics
• scientific article; zbMATH DE number 4132135

Cited in

(10)

• Computational semantics in type theory
• scientific article; zbMATH DE number 3989315 (Why is no real title available?)
• scientific article; zbMATH DE number 1952711 (Why is no real title available?)
• scientific article; zbMATH DE number 1696759 (Why is no real title available?)
• The language of mathematics. A linguistic and philosophical investigation
• Syntactic categories in the language of mathematics
• Grammar as Mathematics
• BNF-style notation as it is actually used
• Parsing and disambiguation of symbolic mathematics in the Naproche system
• scientific article; zbMATH DE number 1129256 (Why is no real title available?)

This page was built for publication:

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