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
zbMATH Open1241.68002MaRDI QIDQ411628FDOQ411628
Authors:
Publication date: 30 April 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3--7, 2009
- Proceedings of the 21st annual conference on mathematical foundations of programming semantics (MFPS XXI), University of Birmingham, Birmingham, UK, May 18--21, 2005
- Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4--7, 2019
- Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6--9, 2012
- Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25--28, 2011
- Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22--25, 2008
- Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013
- Proceedings of the 22nd annual conference on mathematical foundations of programming semantics (MFPS XXII), Genova, Italy, May 23--27, 2006
- Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11--14, 2007
- Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12--15, 2014
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (3)
- Special issue: Programming languages and mechanized mathematics systems (PLMMS). Selected papers based on the presentations at the workshops, Hagenburg, Austria, June 29-30, 2007, and Birmingham, Uk, July 29, 2008
- 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
This page was built for publication: 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q411628)
