An Effectful Treatment of Dependent Types

Research output: Contribution to journalArticleAcademic

Original languageEnglish
JournalCoRR
Volumeabs/1603.04298
Publication statusPublished - 2016

Cite this