Church-Rosser property and intersection types G Koletsos, G Stavrinos The Australasian Journal of Logic 6, 2008 | 12 | 2008 |
The structure of reducibility proofs G Koletsos, G Stavrinos Proceedings of the Second Panhellenic Logic Symposium, 138-143, 1999 | 7 | 1999 |
Church-Rosser theorem for conjunctive type systems G Koletsos, G Stavrinos Proceedings of the First Panhellenic Symposium on Logic, University of …, 1997 | 7 | 1997 |
Towards an intersection and union logic A Veneti, Y Stavrinos 4th Workshop on Intersection Types and Related Systems, Torino, 2008 | 4 | 2008 |
Towards a logic for union types Y Stavrinos, A Veneti Fundamenta Informaticae 121 (1-4), 275-302, 2012 | 3 | 2012 |
A Sequent Calculus for Intersection and Union Logic A Veneti, Y Stavrinos Local Proceedings of 4th Conference on Computability in Europe, 514, 2008 | 2* | 2008 |
Intersection Logic in sequent calculus style SR Della Rocca, A Saurin, Y Stavrinos, A Veneti arXiv preprint arXiv:1101.4424, 2011 | 1 | 2011 |
Embedding developments into simply typed λ-calculus GKY Stavrinos Third Workshop on Logical and Semantic Frameworks with Applications, ENTCS …, 2008 | 1 | 2008 |
Properties of developments via simple types G Koletsos, G Stavrinos Bulletin of the Greek Mathematical Society 55, 67-75, 2008 | 1 | 2008 |
Linear Aspects of Intersection A Veneti, Y Stavrinos Computability in Europe 2012, Turing Centenary Conference, Cambridge …, 2012 | | 2012 |
Intersection and Union Logic S Ronchi Della Rocca, A Saurin, Y Stavrinos, A Veneti Invited talk by S. Ronchi Della Rocca at 5th Workshop on Intersection Types …, 2010 | | 2010 |
Generalized Developments in λ-calculus Y Stavrinos Talk in ΜΠΛΑ seminar, 2009 | | 2009 |