MFPS 1985: Manhattan, Kansas, USA

Austin Melton (Ed.): 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 BibTeX

@proceedings{DBLP:conf/mfps/1985,
  editor    = {Austin Melton},
  title     = {Mathematical Foundations of Programming Semantics, International
               Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
  booktitle = {MFPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {239},
  year      = {1986},
  isbn      = {3-540-16816-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

S. Kamal Abdali, David S. Wise: Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. 1-19 BibTeX
Jirí Adámek, Horst Herrlich: Cartesian Closed Categories, Quasitopoi and Topological Universes. 20-41 BibTeX
H. Bargenda, Horst Herrlich, George E. Strecker: Concrete Categories and Injectivity. 42-52 BibTeX
David B. Benson, Jerzy Tiuryn: Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note). 53-58 BibTeX
Stephen D. Brookes: A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing. 59-100 BibTeX
Carl A. Gunter: Comparing Categories of Domains. 101-121 BibTeX
Horst Herrlich, Miroslav Husek: Galois Connections. 122-134 BibTeX
Tsutomu Kamimura, Adrian Tang: Retracts of SEP Objects. 135-148 BibTeX
Jürgen Koslowski: Continuous Categories. 149-161 BibTeX
Michael G. Main: Free Constructions of Powerdomains. 162-183 BibTeX
Ernest G. Manes: Additive Domains. 184-195 BibTeX
Austin Melton, David A. Schmidt: A Topological Framework of cpos Lacking Bottom Elements. 196-204 BibTeX
Michael W. Mislove: Detecting Local Finite Breadth in Continuous Lattices and Semilattices. 205-214 BibTeX
Ana Pasztor: On the Variety Concept of omega-Continuous Algebras. Application of a General Approach. 215-248 BibTeX
Naphtali Rishe: On Denotational Semantics of Data Bases. 249-274 BibTeX
Naphtali Rishe: Postconditional Semantics of Data Base Queries. 275-295 BibTeX
Jonathan C. Shultis: What is a Model? A Consumer's Perspective on Semantic Theory. 296-307 BibTeX
Jonathan D. H. Smith: Modal Theory, Partial Orders, and Digital Geometry. 308-323 BibTeX
Teresa A. Thomas, Donald F. Stanat: An FP Domain with Infinite Objects. 324-341 BibTeX
P. Venugopalan: Union Complete Countable Subset Systems. 342-356 BibTeX
Maria Zamfir, David Martin: On the Syntax and Semantics of Concurrent Computing. 357-394 BibTeX