default search action

combined dblp search
author search
venue search
publication search

ask others

6th ITRS@LICS 2012: Dubrovnik, Croatia

> 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/Graham-LengrandP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Graham-LengrandP13
Stéphane Graham-Lengrand, Luca Paolini:
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. EPTCS 121, 2013
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BakelBd13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BakelBd13
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
Characterisation of Strongly Normalising lambda-mu-Terms. 1-17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DudderGMRU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DudderGMRU13
Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn:
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis. 18-34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Dunfield13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Dunfield13
Jana Dunfield:
Annotations for Intersection Typechecking. 35-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BenedettiR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenedettiR13
Erika De Benedetti, Simona Ronchi Della Rocca:
Bounding normalization time through intersection types. 48-57
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CoppoDMZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CoppoDMZ13
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Toward Isomorphism of Intersection and Union types. 58-80
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AnconaGZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AnconaGZ13
Davide Ancona, Paola Giannini, Elena Zucca:
Reconciling positional and nominal binding. 81-93

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.