Publications

Language Constructs for Non-Well-Founded Computation

AuthID
P-00G-BMN

Author(s)

Jeannin, JB

Kozen, D

Silva, A

Editor(s)

Matthias Felleisen; Philippa Gardner

Document Type

Proceedings Paper

Year published

2013

Published

in Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7792, Pages: 61-80

Indexing