Quotienting the delay monad by weak bisimilarity
author
Chapman, James
Uustalu, Tarmo
Veltri, Niccolò
statement of authorship
James Chapman, Tarmo Uustalu & Niccolò Veltri
source
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
location of publication
Cham
publisher
Springer
year of publication
2015
pages
p. 110 - 125
series
Lecture notes in computer science ; 9399
conference name, date
12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, 29-31 October 2015
conference location
Cali
url
https://doi.org/10.1007/978-3-319-25150-9_8
subject term
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
quartile
Q2
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
keyword
formal languages
equivalence relations
dependently typed programming
computation theory
ISSN
0302-9743
ISBN
978-331925149-3
notes
Bibliogr.: 15 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
küberneetika instituut
language
inglise