/sem-cut-elim

Primary LanguageAgda

Proof-relevant Semantic Cut Elimination for the Lambek Calculus

Uses Agda version 2.6.2