2013
Language constructs for non-well-founded computations
Publication
Publication
Presented at the
European Symposium on Programming
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| European Symposium on Programming | |
| Organisation | Computer Security |
|
Jeannin, J., Kozen, D.& Silva, A. (2013). Language constructs for non-well-founded computations. Proceedings of European Symposium on Programming 2013 (ESOP 22), 61–80. |
|