Inge Bethke  Home/Search
Context
Related
| adam.wins.uva.nl/~inge/Pap...cotop.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: adam.science.uva.nl/~ing...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The purpose of this note is to show that stability is not a topological property. That is, that coherence spaces - except for the so-called flat ones - cannot be equipped with a topology such that the notions of continuity and stability coincide. 1 (Update)
Similar documents (at the sentence level):
13.3%: Finite Type Structures within Combinatory Algebras - Bethke (1999) (Correct)
Active bibliography (related documents): More All
0.0: Relational Limits in General Polymorphism - Hasegawa (1993) (Correct)
0.0: Some Results on the Full Abstraction Problem for Restricted.. - Honsell, Lenisa (1993) (Correct)
0.0: Polymorphic Intersection Type Assignment for Rewrite Systems.. - van Bakel, al. (1956) (Correct)
Similar documents based on text: More All
0.9: Pre-Coherence Spaces with Approximation Structure: A Model for.. - Spreen (Correct)
0.9: Structures for Lazy Semantics - Bastonero, Pravato, Rocca (1998) (Correct)
0.7: Poset-valued sets or How to build models for Linear Logics - Schalk, de Paiva (2000) (Correct)
BibTeX entry: (Update)
@misc{ bethke-note,
author = "Inge Bethke",
title = "Note Coherence spaces are untopological",
url = "citeseer.ist.psu.edu/bethke99note.html" }
Citations (may not include all citations):268 Proofs and Types (context) - Girard, Lafont et al. - 1989
27 Stable Models of Typed -Calculi (context) - Berry - 1978
13 Fifteen Years Later (context) - Girard, Variable - 1986
Documents on the same site (http://adam.science.uva.nl/~inge/papers.html): More
Extending Partial Combinatory Algebras - Bethke, Klop, de Vrijer (1999) (Correct)
Collapsing Partial Combinatory Algebras - Bethke, Klop (1996) (Correct)
Process Algebra with Combinators - Bergstra, Bethke, Ponse (1994) (Correct)
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