noah
/
glossary
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

name of theory, etc

This commit is contained in:
Noah Diewald 2020-10-19 17:46:25 -04:00
parent a5a7302435
commit 8b4742303e
No known key found for this signature in database
GPG Key ID: EC2BAE1E100A5509
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
glossary.tex
View File

@ -1,13 +1,15 @@
\newabbreviation{scp}{SCPM}{Separationist Constructive Proof Morphology}
\newabbreviation{wt}{WT}{changeme}
\newabbreviation{dso}{DSO}{data structure oriented}
\newabbreviation{cp}{LP}{Lexical Proof Morphology}
\newabbreviation{stc}{STC}{Separationist Taxonomy-Based Constructive Proof Morphology}
\newabbreviation{gpsg}{GPSG}{Generalized Phrase Structure Grammar}
\newabbreviation{wp}{WP}{Word and Paradigm}
\newabbreviation{wp}{WP}{Word and Paradigm Morphology}
\newabbreviation{cg}{CG}{categorial grammar}
\newabbreviation{ccg}{CCG}{Combinatory Categorial Grammar}
\newabbreviation{lcg}{LCG}{Linear Categorial Grammar}
\newabbreviation{coc}{CC}{Calculus of Inductive Constructions}
\newabbreviation{coc}{CiC}{Calculus of Inductive Constructions}
\newabbreviation{hol}{HOL}{Higher Order Logic}
\newabbreviation{stc}{FFM}{Form First Morphology}
\newabbreviation{ibm}{IBM}{Information-Based Morphology}
\newabbreviation{ibm}{IbM}{Information-Based Morphology}
\newabbreviation{pfm}{PFM}{Paradigm Function Morphology}
\newabbreviation{plt}{PLT}{Paradigm Linking Theory}
\newabbreviation{ia}{IA}{Item and Arrangement}