A coalgebraic view of bar recursion and bar induction
author
Capretta, Venanzio
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
year of publication
pages
p. 91-106
series
Lecture notes in computer science ; 9634
conference name, date
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
conference location
Eindhoven
ISSN
0302-9743
ISBN
978-3-662-49629-9
notes
Bibliogr.: 23 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
kvartiil
classifier
category (general)
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).