Michael Huth, Achim Jung, Klaus Keimel  Home/Search
Context Related
| cs.bham.ac.uk/~axj/pub/pape...lta.ps.gz sunsite.doc.ic.ac.uk/ic.doc...lta.ps.gz cs.bham.ac.uk/pub/authors/A...lta.ps.gz 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: cs.bham.ac.uk/~axj/papers (more) From: sunsite.doc.ic.ac.uk/ic.doc/th... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We enrich the -autonomous category of complete lattices and maps preserving all suprema with the important concept of approximation by specifying a -autonomous full subcategory LFS of linear FS-lattices . This is the greatest -autonomous full subcategory of linked bicontinuous lattices. The modalities !() and ?() mediate a duality between the upper and lower powerdomains. The distributive objects in LFS give rise to the compact closed -autonomous full subcategory CD of completely distributive... (Update)
Context of citations to this paper: More
...the notion of a deflation by weakening the finiteness of the image to some more general and abstract compactness condition. Definition 3 [11, 10] A complete lattice L is a linear FS lattice if and only if there exists a directed set D L Gamma ffi L with D = id L such that...
Cited by: More
Linear FS-Lattices And Their Characterization Via Function Spaces - Huth, Mislove (Correct)
Active bibliography (related documents): More All
0.7: Linear Types and Approximation - Huth, Jung, Keimel (1999) (Correct)
0.6: Domain Theory - Abramsky, Jung (1994) (Correct)
0.6: Domain Theory - Corrected and expanded version - Abramsky, Jung (Correct)
Similar documents based on text: More All
0.4: Bicontinuous Function Spaces - Heckmann, Mislove (1999) (Correct)
0.2: Adjunctions Between Categories of Domains - Mislove, Oles (Correct)
0.2: The LFS Storage Manager - Rosenblum, Ousterhout (1990) (Correct)
BibTeX entry: (Update)
M. Huth, A. Jung, and K. Keimel. Linear types and approximation. submitted to the Journal of MSCS, 1994. http://citeseer.ist.psu.edu/huth95linear.html More
@article{ huth00linear,
author = "Michael Huth and Achim Jung and Klaus Keimel",
title = "Linear types and approximation",
journal = "Mathematical Structures in Computer Science",
volume = "10",
number = "6",
pages = "719-745",
year = "2000",
url = "citeseer.ist.psu.edu/huth95linear.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
245 A Compendium of Continuous Lattices (context) - Gierz, Hofmann et al. - 1980
211 Domain theory - Abramsky, Jung - 1994
146 A powerdomain construction (context) - Plotkin - 1976
139 An introduction to event structures (context) - Winskel - 1988
109 Continuous lattices (context) - Scott - 1972
75 Annals of Pure and Applied Logic (context) - Abramsky, in - 1991
50 New foundations for the geometry of interaction - Abramsky, Jagadeesan - 1994
42 volume 752 of Lecture Notes in Mathematics (context) - Barr, Categories - 1979
30 Interaction categories (context) - Abramsky - 1993
27 volume 3 of Cambridge Studies in Advanced Mathematics (context) - Johnstone - 1982
23 The classification of continuous domains (context) - Jung - 1990
23 Centrum voor Wiskunde en Informatica (context) - Jung, Categories et al. - 1989
10 A subdirect-union representation for completely distributive.. (context) - Raney - 1953
8 Tight Galois connections and complete distributivity (context) - Raney - 1960
8 Completely distributive complete lattices (context) - Raney - 1952
6 cofree coalgebras and linear logic (context) - Seely, categories - 1989
5 Linear domains and linear maps (context) - Huth - 1994
Documents on the same site (http://www.cs.bham.ac.uk/~axj/papers.html): More
A New Characterization of Lambda Definability - Jung, Tiuryn (1993) (Correct)
The Classification of Continuous Domains (Extended Abstract) - Jung (Correct)
Uniform Approximation of Topological Spaces - Jung, Sünderhauf (1996) (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