Two set-based implementations of quotients in type theory
autor
vastutusandmed
Niccolò Veltri
allikas
ilmumiskoht
Aachen
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 194-205
seeria-sari
konverentsi nimetus, aeg
14th Symposium on Programming Languages and Software Tools, SPLST 2015, 9-10 October 2015
konverentsi toimumispaik
Tampere
ISSN
1613-0073
märkused
Bibliogr.: 13 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
kategooria (üld)
kategooria (alam)
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).