Scott, D.S., Continuous lattices, in Lawvere: Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, Springer-Verlag, Berlin 1972. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Solving Recursive Domain Equations with Enriched Categories - Wagner (1994) (17 citations) Self-citation (Scott) (Correct)
No context found.
Scott, D.S., Continuous lattices, in Lawvere: Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, Springer-Verlag, Berlin 1972.
Topology and Computability - Thesis Proposal Andrej Self-citation (Scott) (Correct)
No context found.
D.S. Scott, "Continuous lattices", in: Toposes, Algebraic Geometry and Logic, edited by F. Lawvere, Lecture Notes in Mathematics, vol. 274, Springer-Verlag, 1972, pp. 97--136.
Topology and Computability - Thesis Proposal Andrej Self-citation (Scott) (Correct)
No context found.
D.S. Scott, "Continuous lattices", in: Toposes, Algebraic Geometry and Logic, edited by F. Lawvere, Lecture Notes in Mathematics, vol. 274, Springer-Verlag, 1972, pp. 97--136.
Stable and Sequential Functions on Scott Domains - Brookes, Geva (1992) (1 citation) Self-citation (Scott) (Correct)
No context found.
D.S. Scott. Continuous lattices. In F. W. Lawvere, editor, Toposes, Algebraic Geometry and Logic, number 274 in Lecture Notes in Mathematics, pages 97--136. Springer Verlag, 1972.
Intersection Types and Lambda Models - Alessi, Barbanera, al. (2005) (Correct)
No context found.
D. Scott. Continuous lattices. In F.W.Lawvere, editor, Toposes, algebraic geometry and logic, volume 274 of LNM, pages 97--136. Springer-Verlag, 1972.
Compositional Characterisations of λ-terms.. -.. (2005) (Correct)
No context found.
D. Scott. Continuous lattices. In F.W. Lawvere, editor, Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics, pages 97-- 136. Springer, Berlin, 1972.
From Böhm's Theorem to Observational Equivalences: an .. - Dezani-Ciancaglini.. (2001) (Correct)
No context found.
D. Scott. Continuous lattices. In Toposes, algebraic geometry and logic (Conf., Dalhousie Univ., Halifax, N. S., 1971.
Approximation Theorems for Intersection Type - Dezani-Ciancaglini Honsell.. (Correct)
No context found.
D. Scott. Continuous lattices. In F.W. Lawvere, editor, Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics, pages 97-- 136. Springer, Berlin, 1972. 21
Filter Models and Easy Terms - F.Alessi, Dezani-Ciancaglini, Honsell (2001) (1 citation) (Correct)
No context found.
D. Scott. Continuous lattices. In F. Lawvere, editor, Toposes, algebraic geometry and logic, volume 274 of Lecture Notes in Math., pages 97-136. Springer, Berlin, 1972.
Inverse Limit Models as Filter Models - Alessi, Dezani-Ciancaglini, Honsell (Correct)
No context found.
Dana S. Scott. Continuous lattices. In F.W.Lawvere, editor, Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics, pages 97--136, Berlin, 1972. SpringerVerlag.
A Lambda Model Characterizing Computational Behaviours of.. - Dezani-Ciancaglini.. (Correct)
No context found.
Dana S. Scott. Continuous lattices. In Toposes, algebraic geometry and logic, volume 274 of Lecture Notes in Mathematics, pages 97--136, Berlin, 1972. Springer.
Simple Easy Terms - Alessi, Lusin (2002) (Correct)
No context found.
D. Scott. Continuous lattices. In F. Lawvere, editor, Toposes, algebraic geometry and logic, volume 274 of Lecture Notes in Math., pages 97-136. Springer, Berlin, 1972.
Types for Trees - Barbanera, Dezani-Ciancaglini, al. (Correct)
No context found.
Scott D.S., "Continuous Lattices", TAGL, LNM 274, Springer-Verlag, Berlin, 1972, 97-136.
Intersection Types for λ-Trees - van Bakel, Barbanera.. (2000) (Correct)
No context found.
Dana Scott. Continuous lattices. In Toposes, algebraic geometry and logic, pages 97--136. Lecture Notes in Mathematics., Vol. 274. Springer Verlag, Berlin, 1972.
Simple Easy Terms - Alessi, Lusin (2002) (Correct)
No context found.
D. Scott. Continuous lattices. In F. Lawvere, editor, Toposes, algebraic geometry and logic, volume 274 of Lecture Notes in Math., pages 97--136. Springer, Berlin, 1972.
Combining Type Disciplines - Cardone De' Liguoro (1994) (1 citation) (Correct)
No context found.
D. Scott. Continuous lattices. In F.W. Lawvere, editor, Toposes, Algebraic Geometry and Logic, LNM 274, pages 97--136. Springer, 1972.
Probability, Nondeterminism and Concurrency: Two Denotational.. - Varacca (2003) (Correct)
No context found.
Dana S. Scott. Continuous lattices. In F. William Lawvere, editor, Toposes, Algebraic Geometry, and Logic, volume 274 of Lecture Notes in Computer Science, pages 97--136. Springer-Verlag, Berlin, Heidelberg, and New York, 1972.
Domain Theory - Corrected and expanded version - Abramsky, Jung (Correct)
No context found.
D. S. Scott. Continuous lattices. In E. Lawvere, editor, Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics, pages 97--136. Springer Verlag, 1972.
Intersection Types and Domain Operators - Alessi, Dezani-Ciancaglini, Lusin (2003) (Correct)
No context found.
D. S. Scott. Continuous lattices. In F. Lawvere, editor, Toposes, Algebraic 27 Geometry and Logic, volume 274 of Lecture Notes in Mathematics, pages 97--136, Berlin, 1972. Springer-Verlag.
Behavioural Inverse Limit λ-Models - Dezani-Ciancaglini, Ghilezan.. (2003) (Correct)
No context found.
D. S. Scott. Continuous lattices. In F.W.Lawvere, editor, Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics, pages 97--136, Berlin, 1972. Springer-Verlag.
Semantic Domains for Combining Probability and Non-Determinism - Tix, Keimel, Plotkin (2005) (Correct)
No context found.
D. S. Scott. Continuous lattices. In E. Lawvere, editor, Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics, pages 97-136. Springer Verlag, 1972.
Time, Imaginary Value, Paradox, Sign and Space - Kauffman (Correct)
No context found.
D. Scott, Continuous lattices, in "Toposes Algebraic Geometry and Logic", edited by F. W. Lawvere, pp. 97-136. Springer Verlag Lecture Notes in Mathematics Vol. 274 (1970).
Two Behavioural Lambda Models - Dezani-Ciancaglini, Ghilezan (Correct)
No context found.
Dana S. Scott. Continuous lattices. In F.W. Lawvere, editor, Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics, pages 97--136, Berlin, 1972. Springer.
Lambda Models Characterizing Computational Behaviours of.. - Dezani-Ciancaglini.. (2001) (Correct)
No context found.
Dana S. Scott. Continuous lattices. In Toposes, algebraic geometry and logic, volume 274 of Lecture Notes in Mathematics, pages 97--136, Berlin, 1972. Springer.
Intersection Types and Lambda Theories - Dezani-Ciancaglini, Lusin (Correct)
No context found.
D. Scott. Continuous lattices. In Toposes, algebraic geometry and logic, pages 97-136. vol. 274 of LNM. Springer, Berlin, 1972.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC