Domain Theory and the Logic of Observable Properties (1987)
by
Samson Abramsky
| Citations: | 37 - 5 self |
Active Bibliography
| On The Finitary Bisimulation – Anna Ing Olfsd Ottir, Anna Ingólfsdóttir, Luca Aceto, Luca Aceto - 1995 | |
| Terminal Sequences for Accessible Endofunctors – n.n. | |
| 4 | On the Finitary Bisimulation – Luca Aceto, Anna Ingólfsdóttir, Luca Aceto, Anna Ingólfsdóttir - 1995 |
| 18 | A Cook’s tour of the finitary non-well-founded sets – Samson Abramsky - 1988 |
| 214 | Domain Theory in Logical Form – Samson Abramsky - 1991 |
| 23 | Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power |
