default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMFPS 1985: Manhattan, Kansas, USA
- Austin Melton:
Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings. Lecture Notes in Computer Science 239, Springer 1986, ISBN 3-540-16816-8 - S. Kamal Abdali, David S. Wise:
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. 1-19 - Jirí Adámek, Horst Herrlich:
Cartesian Closed Categories, Quasitopoi and Topological Universes. 20-41 - H. Bargenda, Horst Herrlich, George E. Strecker:
Concrete Categories and Injectivity. 42-52 - David B. Benson, Jerzy Tiuryn:
Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note). 53-58 - Stephen D. Brookes:
A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing. 59-100 - Carl A. Gunter:
Comparing Categories of Domains. 101-121 - Horst Herrlich, Miroslav Husek:
Galois Connections. 122-134 - Tsutomu Kamimura, Adrian Tang:
Retracts of SEP Objects. 135-148 - Jürgen Koslowski:
Continuous Categories. 149-161 - Michael G. Main:
Free Constructions of Powerdomains. 162-183 - Ernest G. Manes:
Additive Domains. 184-195 - Austin Melton, David A. Schmidt:
A Topological Framework of cpos Lacking Bottom Elements. 196-204 - Michael W. Mislove
:
Detecting Local Finite Breadth in Continuous Lattices and Semilattices. 205-214 - Ana Pasztor:
On the Variety Concept of omega-Continuous Algebras. Application of a General Approach. 215-248 - Naphtali Rishe:
On Denotational Semantics of Data Bases. 249-274 - Naphtali Rishe:
Postconditional Semantics of Data Base Queries. 275-295 - Jonathan C. Shultis:
What is a Model? A Consumer's Perspective on Semantic Theory. 296-307 - Jonathan D. H. Smith:
Modal Theory, Partial Orders, and Digital Geometry. 308-323 - Teresa A. Thomas, Donald F. Stanat:
An FP Domain with Infinite Objects. 324-341 - P. Venugopalan:
Union Complete Countable Subset Systems. 342-356 - Maria Zamfir, David L. Martin:
On the Syntax and Semantics of Concurrent Computing. 357-394
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-28 00:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
