Coinductive Characterizations of Applicative Structures (1998)
by
Furio Honsell
,
Marina Lenisa
| Venue: | MATH. STRUCTURES IN COMP. SCI. 9(4):403–435 |
| Citations: | 4 - 0 self |
Document Versions
| Coinductive Characterizations of Applicative Structures –Furio Honsell, Marina Lenisa — 1998 — MATH. STRUCTURES IN COMP. SCI. 9(4):403–435 |
