The Resource Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 710, 1993 : proceedings, S. Brookes [and others], eds
Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 710, 1993 : proceedings, S. Brookes [and others], eds
Resource Information
The item Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 710, 1993 : proceedings, S. Brookes [and others], eds represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 710, 1993 : proceedings, S. Brookes [and others], eds represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 Summary

 "This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics."PUBLISHER'S WEBSITE
 "This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics."PUBLISHER'S WEBSITE
 Language
 eng
 Extent
 ix, 648 pages
 Note
 Proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics
 Isbn
 9780387580272
 Label
 Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 710, 1993 : proceedings
 Title
 Mathematical foundations of programming semantics
 Title remainder
 9th international conference, New Orleans, LA, USA, April 710, 1993 : proceedings
 Statement of responsibility
 S. Brookes [and others], eds
 Language
 eng
 Summary

 "This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics."PUBLISHER'S WEBSITE
 "This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics."PUBLISHER'S WEBSITE
 Cataloging source
 DLC
 Illustrations
 illustrations
 Index
 no index present
 Literary form
 non fiction
 Nature of contents
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate
 1993
 http://library.link/vocab/relatedWorkOrContributorName

 Brookes, S. D.
 International Conference on the Mathematical Foundations of Programming Semantics
 Series statement
 Lecture notes in computer science
 Series volume
 802
 http://library.link/vocab/subjectName
 Programming languages (Electronic computers)
 Label
 Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 710, 1993 : proceedings, S. Brookes [and others], eds
 Note
 Proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics
 Bibliography note
 Includes bibliographical references
 Carrier category
 volume
 Carrier category code
 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Control code
 30319885
 Dimensions
 24 cm
 Extent
 ix, 648 pages
 Isbn
 9780387580272
 Lccn
 94012047
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code
 n
 Other physical details
 illustrations
 System control number
 (WaOLN)1589633
 Label
 Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 710, 1993 : proceedings, S. Brookes [and others], eds
 Note
 Proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics
 Bibliography note
 Includes bibliographical references
 Carrier category
 volume
 Carrier category code
 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Control code
 30319885
 Dimensions
 24 cm
 Extent
 ix, 648 pages
 Isbn
 9780387580272
 Lccn
 94012047
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code
 n
 Other physical details
 illustrations
 System control number
 (WaOLN)1589633
Library Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Mathematicalfoundationsofprogrammingsemantics/228BDK1YrxA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Mathematicalfoundationsofprogrammingsemantics/228BDK1YrxA/">Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 710, 1993 : proceedings, S. Brookes [and others], eds</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 710, 1993 : proceedings, S. Brookes [and others], eds
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Mathematicalfoundationsofprogrammingsemantics/228BDK1YrxA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Mathematicalfoundationsofprogrammingsemantics/228BDK1YrxA/">Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 710, 1993 : proceedings, S. Brookes [and others], eds</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>