draining

nlsem-framework/note.tex

@@ -14,6 +14,9 @@
 \usepackage{xspace}
 \usepackage{paralist}
 \def\defemph#1{\textbf{#1}}
+\def\GF{\textsf{GF}\xspace}
+\def\MMT{\textsf{MMT}\xspace}
+
 \title{A GF/MMT, a Framework for Computational Semantics} 
 \author{Michael Kohlhase, Dennis M\"uller, Frederik Sch\"afer\\Computer Science,  FAU
   Erlangen-N\"urnberg\\\url{http://kwarc.info}}
@@ -22,7 +25,7 @@
 \maketitle
 
 \begin{abstract}
-  In this note we present how a combination of GF and MMT can be used as a development
+  In this note we present how a combination of \GF and \MMT can be used as a development
   framework for natural language semantics.
 \end{abstract}
 \tableofcontents\newpage
@@ -54,9 +57,23 @@ have been implemented, there is no general-purpose framework\footnote{We do not
   Haskell~\cite{EijUng:csfp10} } that allows the effective experimentation with language
 models.
 
+\section{Preliminaries}\label{sec:prelim}
+
+\subsection{The Grammatical Framework}\label{sec:gf}
+
+
+\GF is the ``Grammatical Framework''~\cite{Ranta:GF04,ranta-2011,GF:on}, which seems
+uniquely suited for our purposes. It is modular, and it is based (essentially) on LF,
+i.e. uses a dependently typed $\lambda$-calculus under the hood. For our purposes,
+\cite{Ranta:tlled11} is a treasure trove of insights.
+
+
+\ednote{cite~\cite{BerChattsfts17}; this combines \GF and Coq for for the Fracas corpus.}
 
+\subsection{\MMT:  The Meta-Meta Framework for Meta-Meta Theories}\label{sec:mmt}
+\ednote{MK: talk about LATIN, }
 
-\ednote{cite~\cite{BerChattsfts17}}
+\section{Combining \GF and \MMT}
 
 \section{Conclusion}\label{sec:concl}