Quantum institutions (2006)

by C Caleiro, P Mateus, A Sernadas, C Sernadas
Venue:Algebra, Meaning, and Computation – Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060 of Lecture Notes in Computer Science