 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Author="Rot, Jurriaan" |
|
A coalgebraic foundation for coinductive union types
Marcello Bonsangue, Jurriaan Rot, Davide Ancona, Frank de Boer, Jan Rutten
Proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP'2014, Part II (Copenhagen, Denmark, July 8-11, 2014)
Lecture Notes in Computer Science
8573
, 2014, pp. 62-73
| Editors | Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://dx.doi.org/10.1007/978-3-662-43951-7_6 | |
|
|
|
|