Quotienting the delay monad by weak bisimilarity
autor
Chapman, James
Uustalu, Tarmo
Veltri, Niccolò
vastutusandmed
James Chapman, Tarmo Uustalu & Niccolò Veltri
allikas
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer
ilmumisaasta
2015
leheküljed
p. 110 - 125
seeria-sari
Lecture notes in computer science ; 9399
konverentsi nimetus, aeg
12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, 29-31 October 2015
konverentsi toimumispaik
Cali
leitav
https://doi.org/10.1007/978-3-319-25150-9_8
märksõna
programmeerimiskeeled
loogiline programmeerimine
tüübiteooria
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-84952056543&origin=inward&txGid=396398c4a9eb182723510e6786a54824
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000366212700008
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
formal languages
equivalence relations
dependently typed programming
computation theory
ISSN
0302-9743
ISBN
978-331925149-3
märkused
Bibliogr.: 15 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
küberneetika instituut
keel
inglise