Semantic Domains (1990)

Cached

Download Links

by C. A. Gunter , D. S. Scott
Citations:146 - 3 self

Documents Related by Co-Citation

1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
54 Abstract interpretation, logical relations and Kan extensions – S Abramsky - 1987
146 A Tutorial on Action Semantics – Peter D Mosses - 1996
3219 Communication and Concurrency – R Milner - 1990
62 A Per Model of Polymorphism and Recursive Types – M. Abadi, G. D. Plotkin - 1990
267 Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Series – C Gunter - 1992
141 The system F of variable types: Fifteen years later – J-Y Girard - 1986
658 Concurrency and automata on infinite sequences – D Park - 1981
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
730 Notions of Computation and Monads – Eugenio Moggi - 1991
86 Sequential algorithms on concrete data structures – G Berry, P-L Curien - 1982
395 LCF considered as a programming language – G Plotkin - 1977
62 Remarks on algebraically compact categories – P J Freyd - 1991
1065 Introduction to lattices and order – B A Davey, H A Priestley - 2002
60 Using Powerdomains to Generalize Relational Databases – Peter Buneman, Achim Jung, Atsushi Ohori - 1991
123 A domain equation for bisimulation – S Abramsky - 1991
628 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986