Formal topology and domains

Electronic Notes in Theoretical Computer Science

Volumn 35, Issue , 2000, Pages 177-190

  Sambin, Giovanni ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FUNCTIONS; INFORMATION THEORY; MATHEMATICAL OPERATORS; SET THEORY; THEOREM PROVING;

DOMAIN THEORY; FORMAL TOPOLOGY; INFORMATION SYSTEMS; SUBSETS;

TOPOLOGY;

EID: 0011687871     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80742-X     Document Type: Conference Paper

References (8)

1. Abramsky, S. and A. Jung, Domain theory, in: Handbook of Logic in Computer Science, in: S. Abramsky et al., eds., vol. 3, Clarendon, 1994.
2. Johnstone P.T. "Stone Spaces," 1982;Cambridge U. P
3. Martin-Löf P. "Intuitionistic type theory," Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980, Bibliopolis. 1984;Napoli
4. Sambin G. Intuitionistic formal spaces - a first communication. Skordev D. Mathematical Logic and its Applications. 1987;187-204 Plenum, New York -London
5. Sambin, G., Formal topology - state of the art, 1999, in preparation.
6. Sambin, G. and S. Gebellato, A preview of the basic picture: a new perspective on formal topology, in: Types '98, Proceedings of the Annual Meeting of the Types Working Group, Irsee (Germany), March 27-31, 1998, T. Altenkirch, W. Naraschewski and B. Reus, eds., Lecture Notes in Computer Science, Springer, 1999. to appear.
7. Sambin, G. and S. Valentini, Building up a toolbox for Martin-Löf's type theory: subset theory, in Twenty-five years of constructive type theory, Proceedings of the Congress held in Venice, October 1995, G. Sambin and J. Smith, eds., Oxford U. P., 1998, pp. 221-244.
8. Sambin G., Valentini S., Virgili P. Constructive domain theory as a branch of intuitionistic pointfree topology. Theoretical Computer Science 159. 1996;319-341