A final coalgebra theorem

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 389 LNCS, Issue , 1989, Pages 357-365

  Aczel, Peter ^a   Mendler, Nax ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

FINAL COALGEBRAS; FUNCTORS;

ARTIFICIAL INTELLIGENCE;

EID: 80051905264     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0018361     Document Type: Conference Paper

References (2)

1. Aczel, P. 1988. Non-Well-Founded Sets, CSLI Lecture Notes, Number 14, Stanford University.
2. Milner, R. 1983. Calculi for Synchrony and Asynchrony. Theoretical Computer Science 25:267-310.