A Co-induction Principle for Recursively Defined Domains (0)

Cached

Download Links

by Andrew Pitts
Venue:Theoretical Computer Science
Citations:42 - 3 self

Documents Related by Co-Citation

170 The category-theoretic solution of recursive domain equations – Michael B Smyth, Gordon D Plotkin - 1982
662 Concurrency and automata on infinite sequences – D Park - 1981
162 A final coalgebra theorem – P Aczel, P F Mendler - 1989
3242 Communication and Concurrency – R Milner - 1989
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
120 A domain equation for bisimulation – S Abramsky - 1991
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981