Opening book details…
Can I read Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings (Lecture Notes in Computer Science (802)) on EtoBox?
Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings (Lecture Notes in Computer Science (802)) by Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.) is a computer science book available to read on EtoBox.
What is Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings (Lecture Notes in Computer Science (802)) about?
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 t
Who reads Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings (Lecture Notes in Computer Science (802))?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1994
- Language
- EN
- ISBN
- 9783540484196
- Category
- computer science
- Subjects
- Mathematics, Technology, User Interfaces
- Rating
- 5 / 5 (1 ratings)
- Updated
- 2026-03-25
More by Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)
Similar books
- Mathematical Foundations of Programming Semantics: 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings (Lecture Notes in Computer Science) — Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (1990)
- Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings — S. Kamal Abdali, David S. Wise (auth.), Austin Melton (1986)
- Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS’93, Gdańsk, Poland, August 30–September 3, 1993 Proceedings (Lecture Notes in Computer Science (711)) — Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (1993)
- Mathematical Foundations of Computer Science, Volume 1: Sets, Relations, and Induction — Peter A. Fejer, Dan A. Simovici (auth.) (1991)
- Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) — Carl A. Gunter (1992)
- Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings (Lecture Notes in Computer Science, 700) — Manuel Blum (auth.), Andrzej Lingas, Rolf Karlsson, Svante Carlsson (1993)
