Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Naoki Kobayashi 0001 (eds.) |
Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
Intersection Types and Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016., pp. 48-63, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel |
Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016., pp. 20-30, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cosku Acay, Frank Pfenning |
Intersections and Unions of Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016., pp. 4-19, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi |
Retractions in Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016., pp. 31-47, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Rehof (eds.) |
Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mário Pereira, Sandra Alves, Mário Florido |
Liquid Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 24-42, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi |
On Isomorphism of "Functional" Intersection and Union Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 53-64, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kentaro Kikuchi |
Uniform Proofs of Normalisation and Approximation for Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 10-23, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Benke, Viviana Bono, Aleksy Schubert |
Lucretia - intersection type polymorphism for scripting languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 65-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rick Statman |
A Finite Model Property for Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 1-9, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Charles Grellois, Paul-André Melliès |
Indexed linear logic and higher-order model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 43-52, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro |
Typing Classes and Mixins with Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 79-93, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Graham-Lengrand, Luca Paolini (eds.) |
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi |
Toward Isomorphism of Intersection and Union types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012., pp. 58-80, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Erika De Benedetti, Simona Ronchi Della Rocca |
Bounding normalization time through intersection types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012., pp. 48-57, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jana Dunfield |
Annotations for Intersection Typechecking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012., pp. 35-47, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro |
Characterisation of Strongly Normalising lambda-mu-Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012., pp. 1-17, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Paola Giannini, Elena Zucca |
Reconciling positional and nominal binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012., pp. 81-93, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn |
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012., pp. 18-34, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Elaine Pimentel, Betti Venneri, Joe B. Wells (eds.) |
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani |
Session Types = Intersection Types + Union Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010., pp. 71-89, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti |
Intersection Logic in sequent calculus style ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010., pp. 16-30, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jana Dunfield |
Untangling Typechecking of Intersections and Unions ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010., pp. 59-70, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adriana B. Compagnoni, Healfdene Goguen |
Relating Church-Style and Curry-Style Subtyping ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010., pp. 1-15, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vilhelm Sjöberg, Aaron Stump |
Equality, Quasi-Implicit Products, and Large Eliminations ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010., pp. 90-100, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca |
Intersection types for unbind and rebind ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010., pp. 45-58, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel |
Sound and Complete Typing for lambda-mu ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010., pp. 31-44, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Ferruccio Damiani (eds.) |
Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Sébastien Carlier, J. B. Wells |
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 173-202, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | J. J. Hallett, Assaf J. Kfoury |
Programming Examples Needing Polymorphic Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 57-102, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Alessi, Mariangiola Dezani-Ciancaglini |
Type Preorders and Recursive Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 3-21, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Maffeis |
Sequence Types for the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 117-132, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Liquori, Simona Ronchi Della Rocca |
Towards an Intersection Typed System à la Church. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 43-56, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca |
Lazy Strong Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 103-116, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel de Carvalho |
Intersection Types for Light Affine Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 133-152, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel |
Intersection and Union Types for chi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 203-227, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Ferruccio Damiani |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
Intersection and Union Types in the lambda-my-my/tilde-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 153-172, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol, Pascal Zimmer |
On Type Inference in the Intersection Type Discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 23-42, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel (eds.) |
Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama |
The Relevance of Semantic Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 88-105, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Assaf J. Kfoury, Geoffrey Washburn, Joe B. Wells |
Implementing Compositional Analysis Using Intersection Types With Expansion Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 124-148, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Carlier |
Polar Type Inference with Intersection Types and omega. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 37-52, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel |
Strongly Normalising Cut-Elimination with Strict Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 19-36, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Frank Pfenning |
Invited talk: Tri-Directional Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Judicaël Courant |
Strong Normalization with Singleton Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 53-71, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Leivant |
Feasible functionals and intersection of ramified types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 149-162, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Simona Ronchi Della Rocca |
Intersection Typed lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 163-181, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 182-183, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Ghilezan, Silvia Likavec |
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 106-123, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ugo de'Liguoro |
Subtyping in Logical Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 72-87, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Alessi, Stefania Lusin |
Simple Easy Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 1-18, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|