Abstract Meaning Representation (AMR) tutorial slides
-
Updated
Oct 26, 2021 - TeX
Abstract Meaning Representation (AMR) tutorial slides
Developing a type system for a minimal reversible functional language.
Public resources for authoring and styling Semantics & Pragmatics articles.
Formal semantics for Task Oriented Programming
My Notes on the Fibrational Semantics of Simple, Polymorphic, and Dependent Type Theory
Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.
Detecting Meaning with Sherlock Holmes --- a semantic introduction to the great detective.
🎈 Formalized operational and denotational semantics for TESL
Next version of TopHat, a Task-Oriented Programming language
Add a description, image, and links to the semantics topic page so that developers can more easily learn about it.
To associate your repository with the semantics topic, visit your repo's landing page and select "manage topics."