Solving Recursive Domain Equations with Enriched Categories (1994)
by
Kim Ritter Wagner
,
Stephen Brookes
,
John C. Reynolds
| Citations: | 17 - 0 self |
Document Versions
| Solving Recursive Domain Equations with Enriched Categories –Kim Ritter Wagner, Stephen Brookes, John C. Reynolds — 1994 |
