Two set-based implementations of quotients in type theory
author
statement of authorship
Niccolò Veltri
source
location of publication
Aachen
publisher
year of publication
pages
p. 194-205
conference name, date
14th Symposium on Programming Languages and Software Tools, SPLST 2015, 9-10 October 2015
conference location
Tampere
ISSN
1613-0073
notes
Bibliogr.: 13 ref
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
category (general)
category (sub)
Veltri, N. Two set-based implementations of quotients in type theory // 14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 2015. Aachen : CEUR-WS, 2015. p. 194-205. (CEUR workshop proceedings ; 1525).