Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
☆46Aug 11, 2024Updated last year
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
Sorting:
- Computes innocently excludable and includable sets of alternatives☆13Oct 14, 2021Updated 4 years ago
- An opinionated biblatex implementation of the Unified Stylesheet for Linguistics Journals☆44Feb 13, 2026Updated 2 weeks ago
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆30Dec 18, 2025Updated 2 months ago
- ☆19Jun 1, 2021Updated 4 years ago
- TIFMO: Textual Inference Forward-chaining MOdule☆12Apr 25, 2014Updated 11 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 4 years ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Aug 12, 2015Updated 10 years ago
- Tools to prepare linguistic surveys for Amazon Mechanical Turk☆16Oct 3, 2017Updated 8 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Mar 16, 2018Updated 7 years ago
- A library for research in unnatural language semantics☆14Feb 4, 2026Updated 3 weeks ago
- Semantic graph parser based on Categorial grammars☆16Jun 29, 2025Updated 8 months ago
- A framework for natural language syntax and semantics based on type theory.☆13Feb 28, 2024Updated 2 years ago
- OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)☆15Apr 21, 2019Updated 6 years ago
- Glossa latex resources☆14Jan 9, 2026Updated last month
- Accompanies the paper "Learnability and Semantic Universals" ; trains recurrent neural networks to learn to verify sentences with quantif…☆11Aug 10, 2019Updated 6 years ago
- The Cubicle model checker☆14Jan 12, 2026Updated last month
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 6 years ago
- SOTA TAG Parser☆15Jan 19, 2019Updated 7 years ago
- Minimum Description Length Recurrent Neural Networks☆19Jun 9, 2023Updated 2 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆19Mar 21, 2024Updated last year
- Boilerplate for consistent lecture notes, slides, and assignments using LaTeX beamer and tufte-latex.☆19Oct 11, 2017Updated 8 years ago
- Repository for the "Computational Cognitive Modeling and Linguistic Theory" (Brasoveanu & Dotlacil 2020) book☆48Aug 1, 2021Updated 4 years ago
- Pandoc Lua filter for linguistic examples☆44Sep 3, 2025Updated 5 months ago
- A Javascript implementation of Prolog☆16Mar 20, 2016Updated 9 years ago
- Web based opetopic editor☆36Oct 21, 2024Updated last year
- Bayesian pragmatic models implemented in Python☆20May 11, 2025Updated 9 months ago
- Haskell98 indexed functors, monads, comonads☆25Mar 8, 2022Updated 3 years ago
- A simple supercompiler formally verified in Agda☆34Mar 17, 2017Updated 8 years ago
- 🦠 Reusable components based on algebraic effects☆51Nov 21, 2025Updated 3 months ago
- Draw plain text constituency trees in GNU Emacs☆19Jun 21, 2023Updated 2 years ago
- Psycholinguistic experiments online☆57Mar 19, 2021Updated 4 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- A small implementation of a proof refinement logic.☆50Jul 3, 2017Updated 8 years ago
- PennController is a library extension for IBEX. It introduces a flexible and user-friendly syntax to design dynamic (e.g., scripted/timed…☆25Jan 7, 2023Updated 3 years ago
- A translation of the classic BASIC game.☆28Jun 29, 2010Updated 15 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Jul 26, 2022Updated 3 years ago
- Nix configuration for reproducible builds of LaTeX documents☆25Apr 14, 2021Updated 4 years ago