ask others

EPTCS 45 - ITRS@LICS 2010

> Home > Series > EPTCS
> Home > Conferences and Workshops > ITRS
> Home > Conferences and Workshops > LICS

- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1101-4104
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4104
Elaine Pimentel, Betti Venneri, Joe B. Wells:
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. EPTCS 45, 2010
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1101-4423
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4423
Adriana B. Compagnoni, Healfdene Goguen:
Relating Church-Style and Curry-Style Subtyping. 1-15
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1101-4424
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4424
Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti:
Intersection Logic in sequent calculus style. 16-30
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1101-4425
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4425
Steffen van Bakel:
Sound and Complete Typing for lambda-mu. 31-44
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1101-4426
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4426
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
Intersection types for unbind and rebind. 45-58
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1101-4428
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4428
Joshua Dunfield:
Untangling Typechecking of Intersections and Unions. 59-70
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1101-4429
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4429
Luca Padovani:
Session Types = Intersection Types + Union Types. 71-89
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1101-4430
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4430
Vilhelm Sjöberg, Aaron Stump:
Equality, Quasi-Implicit Products, and Large Eliminations. 90-100

maintained by

at