Defining equations in terminal coalgebras

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014435 ◽

1995 ◽

pp. 307-318 ◽

Cited By ~ 7

Author(s):

Ulrich Hensel ◽

Horst Reichel

Download Full-text