A coalgebraic view of bar recursion and bar induction

author
Capretta, Venanzio
Uustalu, Tarmo
statement of authorship
Venanzio Capretta and Tarmo Uustalu
source
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
location of publication
Berlin
publisher
Springer-Verlag
year of publication
2016
pages
p. 91-106
series
Lecture notes in computer science ; 9634
url
https://doi.org/10.1007/978-3-662-49630-5_6
subject term
algebra
teoreemid
ISSN
0302-9743
ISBN
978-3-662-49629-9
notes
Bibliogr.: 23 ref
TTÜ department
TTÜ Küberneetika Instituut
arvutiteaduse instituut
language
inglise