The geometry and algebra of commitment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6505, Issue , 2011, Pages 147-160

  Cardone, Felice ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CATEGORICAL STRUCTURE; FORMAL DESCRIPTION;

EID: 79956060979     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19211-1_9     Document Type: Conference Paper

References (22)

1. Abramsky, S.: Retracing some paths in process algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 1-17. Springer, Heidelberg (1996) (Pubitemid 126117751)
2. Abramsky, S.: Petri nets, discrete physics, and distributed quantum computation. In: Degano, P., De Nicola, R., Bevilacqua, V. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 527-543. Springer, Heidelberg (2008)
3. Abramsky, S., Haghverdi, E., Scott, P.: Geometry of interaction and linear combinatory algebras. Mathematical Structures in Computer Science 12(5), 625-665 (2002)
4. Baxter, W.: Early accounting: The tally and the checkerboard. The Accounting Historians Journal 16(2), 43-83 (1989)
5. Braun, D.: Assets and liabilities are the momentum of particles and antiparticles displayed in Feynman-graphs. Physica A: Statistical Mechanics and its Applications 290(3-4), 491-500 (2001) (Pubitemid 32160819)
6. Coecke, B.: Kindergarten quantum mechanics (2005), http://arxiv.org/abs/ quant-ph/0510032
7. Ellerman, D.P.: The mathematics of double entry bookkeeping. Mathematics Magazine 58(4), 226-233 (1985)
8. Feldman, D., Propp, J.: Producing new bijections from old. Advances in Mathematics 113, 1-44 (1995)
9. Fischer, R., Braun, D.: Nontrivial bookkeeping: a mechanical perspective. Physica A: Statistical Mechanics and its Applications 324(1-2), 266-271 (2003)
10. Girard, J.Y.: Geometry of interaction I: Interpretation of system F. In: Bonotto, C., Ferro, R., Valentini, S., Zanardo, A. (eds.) Logic Colloquium 1988, pp. 221-260. North-Holland, Amsterdam (1989)
11. Hamblin, C.: Fallacies. Methuen & Co., London (1970)
12. Joyal, A., Street, R., Verity, D.: Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society 119, 447-468 (1996) (Pubitemid 126031312)
13. Katis, P., Sabadini, N., Walters, R.: On partita doppia (1998) (unpublished)
14. Kelly, G.M., Mac Lane, S.: Coherence in closed categories. Journal of Pure and Applied Algebra 1, 97-140 (1971)
15. Lorenzen, P.: Ein dialogisches Konstructivitätskriterium. In: Infinitistic Methods, pp. 193-200. Pergamon Press and PWN, Oxford and Warsaw (1961)
16. Martí-Oliet, N., Meseguer, J.: From Petri nets to linear logic through categories: A survey. International Journal of Foundations of Computer Science 2(4), 297-399 (1991)
17. Reisig, W.: Petri nets: an introduction. Springer, Heidelberg (1985)
18. Robert, H.: Roberts Rules of Order. In: The Standard Guide to Parliamentary Procedure. Bantham Books, New York (1986)
19. Selinger, P.: A survey of graphical languages for monoidal categories (December 2008) (unpublished)
20. Walton, D.N., Krabbe, E.C.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany (1995)
21. Watzlawick, P., Beavin, J.H., Jackson, D.D.: Pragmatics of Human Communication. In: A Study of Interactional Patterns, Pathologies, and Paradoxes. W.W. Norton & Co., New York (1967)
22. Zimmermann, R.: The Law of Obligations: Roman Foundations of the Civilian Tradition. Oxford University Press, Oxford (1996)