Towards a typed geometry of interaction (2005)

by Esfandiar Haghverdi , Philip J. Scott
Citations:4 - 1 self

Documents Related by Co-Citation

166 Traced monoidal categories – A Joyal, R Street, D Verity - 1996
238 Categories for the working mathematician. Graduate Texts in Mathematics – Saunders Mac Lane - 1971
717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
576 Assigning meanings to programs – R W Floyd
430 Introduction to higher order categorical logic Cambridge – J Lambek, P J Scott - 1986
270 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
212 Semantical considerations on Floyd-Hoare Logic – Vaughan R. Pratt - 1976
152 A Categorical Semantics of Quantum Protocols – Samson Abramsky, Bob Coecke