Este é um repositório de estudo cuja intenção é implementar em Agda, utilizando da modalidade Flat, um framework de semântica computacional da linguagem natural através do arcabouço teórico da Semântica de Montague. Em específico, o repositório trata de fornecer formas lógicas para a interpretação das sentenças do Teste de Montague.
Em termos simples, a modalidade Flat é uma característica da linguagem Agda que permite que a Teoria de Tipos de Homotopia seja aplicada computacionalmente para os fins do Teste de Montague. Para ler mais sobre essa modalidade, acesse o endereço a seguir: https://agda.readthedocs.io/en/latest/language/flat.html.
Este repositório foi forkado de @zwanzingerc.
- Fonte: Zwanzinger (2019) - Tabela 4.
MORRILL, G. & VALENTÍN, J. Computational coverage of type logical grammar: The Montague test. Colloque de Syntaxe et Sémantique à Paris, "Empirical issues in syntax and semantics 11". Paris: 2016.
ZWANZIGER, C. Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat. In Proceedings of the 16th Meeting on the Mathematics of Language. Philippe de Groote, Frank Drewes, and Gerald Penn, Ed. Association for Computational Linguistics Anthology. 2019. Disponível em https://www.aclweb.org/anthology/papers/W/W19/W19-5704/.