Pages that link to "Item:Q411628"
From MaRDI portal
The following pages link to 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 (Q411628):
Displaying 3 items.
- 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 (Q843903) (← links)
- 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 (Q1367521) (← links)
- 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. (Q2508405) (← links)