Coinductive Characterizations of Applicative Structures (1998)

Cached

Download Links

by Furio Honsell , Marina Lenisa
Venue:MATH. STRUCTURES IN COMP. SCI. 9(4):403–435
Citations:3 - 0 self

Document Versions

Coinductive Characterizations of Applicative Structures –Furio Honsell, Marina Lenisa — 1998 — MATH. STRUCTURES IN COMP. SCI. 9(4):403–435