Unique Fixed Point Induction for McCarthy's Amb (1999)

Cached

Download Links

by Søren Lassen , Andrew Moran
Venue:IN: PROCEEDINGS OF THE 24TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, ”LNCS” 1672
Citations:7 - 2 self

Document Versions

Unique Fixed Point Induction for McCarthy's Amb –Søren Lassen, Andrew Moran — 1999 — IN: PROCEEDINGS OF THE 24TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, ”LNCS” 1672
Unique Fixed Point Induction for McCarthy's Amb –Søren B. Lassen, Andrew Moran — 1999 — IN: PROCEEDINGS OF THE 24TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, ”LNCS” 1672