Papers
- J. A. Goguen and R. M. Burstall, Introducing Institutions, Lecture Notes in Computer Science 164, pp. 221–256, 1984.
- J. A. Goguen and R. M. Burstall, Institutions: Abstract Model Theory for Specification and Programming, Journal of the Association for Computing Machinery 39, pp. 95–146, 1992.
- J. Meseguer, General Logics, Logic Colloquium 87, pp. 275–329, North Holland, 1989.
- J. A. Goguen and G. Rosu, Institution morphisms, Formal aspects of computing 13, pp. 274–307, 2002.
- D. Sannella and A. Tarlecki, Specifications in an arbitrary institution, Information and Computation 76, pp. 165–210, 1988
- T. Mossakowski, J. A. Goguen, R. Diaconescu, A. Tarlecki. What is a Logic?. In Jean-Yves Beziau (Ed.), Logica Universalis, pp. 113–133. Birkhäuser 2005.
Read more about this topic: Institution (computer Science)
Famous quotes containing the word papers:
““The papers are delivered every day;
I am alone and never shed a tear.””
—Stanley Jasspon Kunitz (b. 1905)
“To a historian libraries are food, shelter, and even muse. They are of two kinds: the library of published material, books, pamphlets, periodicals, and the archive of unpublished papers and documents.”
—Barbara Tuchman (1912–1989)
“I see by the papers that you have once more stirred that pool of intellectual stagnation, the educational convention.”
—Elizabeth Cady Stanton (1815–1902)