Games for recursive types
| Author(s) : | Guy Mccusker Samson Abramsky, |
| Publisher : | N/A |
| Publication Date : | 1995 |
| ISSN : | N/A |
| Abstract : | We present results concerning the solution of recursive domain equations, |
©2007 Dammam Community College
| Author(s) : | Guy Mccusker Samson Abramsky, |
| Publisher : | N/A |
| Publication Date : | 1995 |
| ISSN : | N/A |
| Abstract : | We present results concerning the solution of recursive domain equations, |