Topology, Domain Theory and Theoretical Computer Science (1997)

by Michael W. Mislove
Citations:10 - 2 self

Documents Related by Co-Citation

1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
71 Power domains and predicate transformers: A topological point of view – M B Smyth - 1983
14 Measure theoretic results for continuous valuations on partially ordered spaces – M Alvarez-Manilla - 2000
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
59 Domain Theory and Integration – Abbas Edalat - 1995
320 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
3 Towards Lambda Calculus Order-Incompleteness – Antonino Salibra
2 Reasoning about interpretation in qualitative λmodels – F Honsell, Ronchi della Rocca, S - 1990
46 What is a model of the lambda calculus – Albert Meyer - 1981
7 All Compact Hausdorff Lambda Models are Degenerate – K. H. Hofmann, M. W. Mislove
20 Strong Stability and the Incompleteness of Stable Models for λ-Calculus – Olivier Bastonero, Xavier Gouy - 1999
15 Etude des théories équationnelles et des propriétés algébriques des modèles stables du λ-calcul – X Gouy - 1995
12 Lambda abstraction algebras: coordinatizing models of lambda calculus – D Pigozzi, A Salibra - 1998
16 A Continuum of Theories of Lambda Calculus Without Semantics – Antonino Salibra - 2001
35 2000): From computation to foundations via functions and application: the λ-calculus and its webbed models. Theoretical Computer Science 249 – C Berline
52 Sequentiality and Strong Stability – A Bucciarelli, T Ehrhard - 1991
19 Isomorphism and equational equivalence of continuous lambda models – R Kerth - 1998
231 Domain Theory in Logical Form – Samson Abramsky - 1991