Two set-based implementations of quotients in type theory
author
Veltri, Niccolò
statement of authorship
Niccolò Veltri
source
14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 2015
location of publication
Aachen
publisher
CEUR-WS
year of publication
2015
pages
p. 194-205
series
CEUR workshop proceedings ; 1525
conference name, date
14th Symposium on Programming Languages and Software Tools, SPLST 2015, 9-10 October 2015
conference location
Tampere
url
https://ceur-ws.org/Vol-1525/paper-14.pdf
subject term
küberneetika
matemaatiline loogika
Scopus
https://www.scopus.com/sourceid/21100218356
https://www.scopus.com/record/display.uri?eid=2-s2.0-84962598967&origin=inward&txGid=df119720fb862645bb6560d535630baf
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
ISSN
1613-0073
notes
Bibliogr.: 13 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
TTÜ Küberneetika Instituut
language
inglise