Domain Theory and the Logic of Observable Properties (1987)

by Samson Abramsky
Citations:40 - 5 self

Documents Related by Co-Citation

231 Domain Theory in Logical Form – Samson Abramsky - 1991
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
123 A domain equation for bisimulation – S Abramsky - 1991
395 LCF considered as a programming language – G Plotkin - 1977
210 A powerdomain construction – G. D. Plotkin - 1976
930 Categories for the Working Mathematician – S Mac Lane - 1971
24 domains and predicate transformers: a topological view. volume 154 – Power - 1983
49 Local compactness and continuous lattices – Karl Heinrich Hofmann, Michael W Mislove - 1979
103 Topology via Logic – Steven Vickers - 1989
60 Post-graduate lecture notes in advanced domain theory, incorporating the “pisa notes – G S Plotkin - 1981
134 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
110 Fully abstract models of typed lambda calculi – R Milner - 1977
320 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
3219 Communication and Concurrency – R Milner - 1990
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
1065 Introduction to lattices and order – B A Davey, H A Priestley - 2002
1404 A Discipline of Programming – E W Dijkstra - 1976
1330 A Calculus of Communicating Systems – R Milner - 1980