GF + MMT = GLF -- from language to semantics through LF

DOI10.4204/EPTCS.307.4MaRDI QIDQ6940467zbMATH OpenFDO

Authors Michael Kohlhase, Jan Frederik Schaefer

Publication date 19 August 2025

Copyright license Creative Commons license

Full work available at URL https://doi.org/10.4204/EPTCS.307.4

Mathematics Subject Classification ID

Logic in computer science (03B70) Natural language processing (68T50)

Cites work

• A scalable module system
• Computational semantics with functional programming
• Grammatical Framework
• scientific article; zbMATH DE number 6900696 (Why is no real title available?)
• Project abstract: logic atlas and integrator (LATIN)
• Rapid prototyping formal systems in MMT: 5 case studies
• The MMT API: a generic MKM system

This page was built for publication: \(\mathsf{GF} + \mathsf{MMT} = \mathsf{GLF}\) -- from language to semantics through LF

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