Syntactic categories in the language of mathematics

DOI10.1007/3-540-60579-7_9zbMath1530.03132OpenAlexW1536700614MaRDI QIDQ6061879

Aarne Ranta

Publication date: 8 December 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60579-7_9

zbMATH Keywords

type theorysyntactic categorysyntax treenoun phrasephrase structure

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic in computer science (03B70) Type theory (03B38)

Cites Work

• The axioms of constructive geometry
• Unnamed Item
• Unnamed Item

This page was built for publication: Syntactic categories in the language of mathematics