default search action

combined dblp search
author search
venue search
publication search

ask others

DCM/ITRS 2018: Oxford, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > DCM
> Home > Conferences and Workshops > ITRS

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-1904-09561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-09561
Michele Pagani, Sandra Alves:
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. EPTCS 293, 2019
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-10105
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-10105
Pawel Parys:
Intersection Types for Unboundedness Problems. 7-27
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-10106
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-10106
Federico Aschieri:
Natural Deduction and Normalization Proofs for the Intersection Type Discipline. 29-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-10107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-10107
Paola Giannini, Marco Servetto, Elena Zucca:
A Syntactic Model of Mutation and Aliasing. 39-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-10800
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-10800
Giulio Guerrieri:
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. 57-72
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-10108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-10108
Olivier Laurent:
Intersection Subtyping with Constructors. 73-84
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-10109
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-10109
Joseph Razavi, Andrea Schalk:
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms. 85-92

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.