Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013

MaRDI QIDQ2018792zbMATH OpenFDO

Authors

Publication date 25 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/298

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cited in

(6)

• Special issue: Mathematical foundations of programming semantics (MFPS XXV). Invited papers based on the presentations at the annual conference, Oxford, UK, April 3--7, 2009
• Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12--15, 2017
• Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6--9, 2012
• Special issue: Clifford lectures and the mathematical foundations of programming semantics and 18th workshop on mathematical foundations of programming semantics, New Orleans, LA, USA, March 20--26, 2002. Lectures and invited talks.
• Selected papers on Mathematical foundations of programming semantics, MFPS `92. II: Lambda calculus and domain theory. Proceedings of the meeting, University of Oxford, GB, April 1992
• scientific article; zbMATH DE number 7545241 (Why is no real title available?)

This page was built for publication: Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2018792)