Active Bibliography

2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
734 Notions of Computation and Monads – Eugenio Moggi - 1991
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
565 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
1318 Monads for functional programming – Philip Wadler - 1995
549 Semantic web services – S-T C Son McIlraith, H Zeng - 2001
6 A cartesian closed category of approximable concept structures – Pascal Hitzler, Guo-qiang Zhang - 2004
458 Domain Theory – Samson Abramsky, Achim Jung - 1994