Questions in Dependent Type Semantics

Kazuki Watanabe | Koji Mineshima | Daisuke Bekki |

Paper Details:

Month: 24 May
Year: 2019
Location: Gothenburg, Sweden
Venue: WS |
SIG: SIGSEM