scientific article; zbMATH DE number 1129259

zbMATH Open0891.03008MaRDI QIDQ4380482FDOQ4380482

Authors: Aarne Ranta 

Publication date: 1997

Full work available at URL: http://www.numdam.org/item?id=MSH_1997__139__5_0

Title of this publication is not available (Why is that?)

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

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)

Cited In (10)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Computational semantics in type theory
• Title not available (Why is that?)

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)