Pages that link to "Item:Q1273550"
From MaRDI portal
The following pages link to Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995 (Q1273550):
Displaying 6 items.
- 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)
- The regular-language semantics of second-order idealized ALGOL (Q1884909) (← links)
- MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23--26, 2001. (Q1948983) (← 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)
- Mathematical foundations of programming semantics. 7th international conference, Pittsburgh, PA, USA, March 25--28, 1991. Proceedings (Q2697936) (← links)
- A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST (Q4917051) (← links)
