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. In Proceedings of European Symposium on Programming 2013 (ESOP 22) (pp. 61–80). Springer. |