Exploiting Unique Fixed Points (Invited Lecture)
Ralf Hinze
Details
| Affiliation |
University of Oxford‚ Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford OX1 3QD‚ England |
| Book Title |
9th International Conference on Mathematics of Program Construction (MPC '08) |
| Editor |
Audebaud‚ Philippe and Paulin−Mohring‚ Christine |
| Location |
Marseille (Luminy)‚ France |
| Month |
jul |
| Pages |
1 |
| Publisher |
Springer Berlin / Heidelberg |
| Series |
Lecture Notes in Computer Science |
| Volume |
5133 |
| Year |
2008 |
Links
DOI (10.1007/978-3-540-70594-9_1)
Related pages
|
People |