Pages that link to "Item:Q898308"
From MaRDI portal
The following pages link to Proceedings of the 19th conference on mathematical foundations of programming semantics (MFPS XIX), Montreal, Canada, March 19--22, 2003 (Q898308):
Displaying 7 items.
- Proceedings of the 21st annual conference on mathematical foundations of programming semantics (MFPS XXI), University of Birmingham, Birmingham, UK, May 18--21, 2005 (Q371385) (← links)
- Power contexts and their concept lattices (Q641167) (← 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)
- Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montrèal, Canada, September 20, 2000. Proceedings (Q1582979) (← links)
- A categorical representation of algebraic domains based on variations of rough approximable concepts (Q2353995) (← links)
- Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6--10, 2010 (Q2434741) (← links)
- Closures in Binary Partial Algebras (Q2994476) (← links)
