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
märksõna
ISSN
0302-9743
ISBN
978-3-662-49629-9
märkused
Bibliogr.: 23 ref
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-Verlag, 2016. p. 91-106. (Lecture notes in computer science ; 9634). https://doi.org/10.1007/978-3-662-49630-5_6