default search action

combined dblp search
author search
venue search
publication search

ask others

5th ITRS@LICS 2010: Edinburgh, UK

> Home > Conferences and Workshops > ITRS
> Home > Conferences and Workshops > LICS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4104
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4423
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4424
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4425
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4425
Steffen van Bakel:
Sound and Complete Typing for lambda-mu. 31-44
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4426
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4428
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4428
Jana Dunfield:
Untangling Typechecking of Intersections and Unions. 59-70
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4429
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4429
Luca Padovani:
Session Types = Intersection Types + Union Types. 71-89
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4430
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4430
Vilhelm Sjöberg, Aaron Stump:
Equality, Quasi-Implicit Products, and Large Eliminations. 90-100

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.