Domain Theory and the Logic of Observable Properties (1987)

by Samson Abramsky
Citations:42 - 5 self

Active Bibliography

Terminal Sequences for Accessible Endofunctors – n.n.
21 A Cook’s tour of the finitary non-well-founded sets – Samson Abramsky - 1988
229 Domain Theory in Logical Form – Samson Abramsky - 1991
On The Finitary Bisimulation – Anna Ing Olfsd Ottir, Anna Ingólfsdóttir, Luca Aceto, Luca Aceto - 1995
4 On the Finitary Bisimulation – Luca Aceto, Anna Ingólfsdóttir, Luca Aceto, Anna Ingólfsdóttir - 1995
UNC is an Equal Opportunity/Affirmative Action Institution. Practical Higher-order Functional a nd Logic Programming based o n Lambda Calculus and Set Abstract ioni – Frank S. K. Silbermann, Bharat Jayaraman, Frank S. I<. Silbermann, Bharat Jayaraman - 1988
30 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power