A coalgebraic view of bar recursion and bar induction
autor
Capretta, Venanzio
vastutusandmed
Venanzio Capretta and Tarmo Uustalu
allikas
Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 91-106
seeria-sari
Lecture notes in computer science ; 9634
konverentsi nimetus, aeg
19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, 2-8 April 2016
konverentsi toimumispaik
Eindhoven
kvartiil
kategooria (üld)
kategooria (alam)
ISSN
0302-9743
ISBN
978-3-662-49629-9
märkused
Bibliogr.: 23 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
Capretta, V., Uustalu, T. A coalgebraic view of bar recursion and bar induction // Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings. Berlin : Springer, 2016. p. 91-106. (Lecture notes in computer science ; 9634).