fintelkai / fintel-heim-intensional-notes
Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
☆44Updated 8 months ago
Alternatives and similar repositories for fintel-heim-intensional-notes:
Users that are interested in fintel-heim-intensional-notes are comparing it to the libraries listed below
- An opinionated biblatex implementation of the Unified Stylesheet for Linguistics Journals☆42Updated 3 months ago
- A set of tools for analyzing languages via logic and automata☆24Updated 2 weeks ago
- Glossa latex resources☆12Updated last year
- MG top-down beam parsing☆13Updated 6 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆26Updated 2 weeks ago
- A framework for natural language syntax and semantics based on type theory.☆13Updated last year
- Subregular toolkit for language processing☆22Updated 4 years ago
- latex style file for drawing Combinatory Categorial Grammar (CCG) derivations☆21Updated last year
- ☆16Updated 2 years ago
- A library for research in unnatural language semantics☆11Updated this week
- A LaTeX package to typeset and index linguistic gloss abbreviations☆14Updated 2 years ago
- ☆19Updated 3 years ago
- Type-driven syntactic and semantic effectful parsing for NL☆12Updated last month
- Java C&C Parser☆8Updated 8 years ago
- Psycholinguistic experiments online☆56Updated 4 years ago
- A lexicon compiler for non-suffixational morphologies☆12Updated 3 weeks ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Pandoc Lua filter for linguistic examples☆39Updated last month
- TPTP linear logic version☆13Updated 3 months ago
- Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG☆28Updated last year
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Updated 9 years ago
- Repository for the "Computational Cognitive Modeling and Linguistic Theory" (Brasoveanu & Dotlacil 2020) book☆47Updated 3 years ago
- DCG utility predicates for Prolog☆10Updated 10 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆29Updated 9 months ago
- Categorical Logic Notes☆78Updated 3 years ago
- Automatically exported from code.google.com/p/incremental-top-down-parser☆13Updated 10 years ago
- Interlinear glossing for the browser☆46Updated 5 years ago
- Supervised learning of morphology☆28Updated 8 years ago
- ☆14Updated 4 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆32Updated 2 months ago