Coinductive characterizations of applicative structures
HONSELL, FURIO, LENISA, MARINAVolume:
9
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s096012959900287x
Date:
August, 1999
File:
PDF, 444 KB
english, 1999