Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat

Colin Zwanziger |

Paper Details:

Month: 18–19 July
Year: 2019
Location: Toronto, Canada
Venue: WS |
SIG: SIGMOL

Citations

URL

No Citations Yet

Field Of Study

Linguistic Trends
Syntax
Language
English