Books and Book Chapters
- K. Došen, Z. Petrić, Proof-Theoretical Coherence, KCL Publications, London,
2004.
Papers in Scientific
Journals
- Mirjana Borisavljević, Extended natural-deduction images of conversions
from the system of secuents, Journal of Logic and Computation, 14 ( 2004),
769-799.
- M. Dezani-Ciancaglini, S. Ghilezan, S. Likavec, Behavioural inverse limit
lambda models, Theoretical Computer Science 316 (1), 2004, pp. 47-74.
- S. Ghilezan, P. Lescanne, Classical proofs, typed processes and intersection
types, TYPES 2003, Lecture Notes in Computer Science 3085, 2004, pp.
226-241.
- K. Došen and Z. Petrić, Bicartesian coherence, Studia Logica 71(2002),
pp. 331-353 (http://arXiv.org/math.CT/0006052)
- M. Borisavljević, K. Došen and Z. Petrić, Kauffman monoids, Journal of
Knot Theory and its Ramifications 11(2002), pp. 127-143
(http://arXiv.org/math.GT/0008187)
- Z. Petrić, Substructural coherence, Studia Logica vol.70, 2002, pp.
271-296 (http://arXiv.org/math.CT/0006061)
- S. Gilezan and S. Likavec, Reducibility: A ubiquitous method in lambda
calculus with intersection types, Electronic Notes in Theoretical Computer
Science, 70, 2002, p. 18
- P. Tanović, A note on countable models of 1-based theories, Archive for
Mathematical Logic, 41, 2002, pp. 669-671
- M. Borisavljević, Two measures for proving Gentzen's Hauptsatz without
mix, Archive for Mathematical Logic 42 (2003), pp. 371-387
- Z. Petrić, G-Dinaturality, Annals of Pure and Applied Logic 122 (2003),
pp. 131-173 (http://arXiv.org/math.CT/0012019)
- K. Došen and Z. Petrić, Generality of proofs and its Brauerian
representation, The Journal of Symbolic Logic 68(2003), pp. 740-750
(http://arXiv.org/math.LO/0211090)
- K. Došen and Z. Petrić, Self-adjunctions and matrices, Journal of Pure
and Applied Algebra 184(2003), pp. 7-39 (http://arXiv.org/math.GT/0111058)
- K. Došen and Z. Petrić, A Brauerian representation of split preorders,
Mathematical Logic Quarterly 49(2003), pp. 579-586
(http://arXiv.org/math.LO/0211277)
- K. Došen and Z. Petrić, The geometry of self-adjunction, Publications de
l'Institut Mathématique (N.S.) 73(87) (2003), pp. 1-29
(http://arXiv.org/math.GT/0111058)
- K. Došen, Identity of proofs based on normalization and generality, The
Bulletin of Symbolic Logic 9(2003), pp. 477-503
(http://arXiv.org/math.LO/0208094)
Papers in Conference Proceedings
- L. Bettini, V. Bono, S. Likavec, A calculus of mixin-based incomplete
objects, Proceedings of the 11th International Workshop on Foundations of
Object-Oriented Languages, FOOL'04, 2004, pp. 29-41.
- S. Ghilezan, S. Likavec, Extensions of the reducibility method, Proceedings
of the 4th Panhellenic Logic Symposium, 2004, pp. 107-112.
Papers accepted for publication
- K. Došen, Models of deduction, in: P. Schroeder-Heister ed., Proceedings
of the Workshop "Proof-Theoretic Semantics, Tübingen 1999", Oxford
University Press, Oxford
Submitted for publication
- K. Došen, Z. Kovijanić and Z. Petrić, A new proof of the faithfulness of
Brauer's representation of Temperley-Lieb algebras
(http://arXiv.org/math.GT/0204214)
- K. Došen, Simplicial endomorphisms (http://arXiv.org/math.GT/0301302)