Skip to main content

Exploiting Unique Fixed Points (Invited Lecture)

Ralf Hinze

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