![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 60 matches
- 2019
- 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 [contents] - 2018
- Pawel Parys:
Intersection Types for Unboundedness Problems. DCM/ITRS 2018: 7-27 - Federico Aschieri:
Natural Deduction and Normalization Proofs for the Intersection Type Discipline. DCM/ITRS 2018: 29-37 - Paola Giannini
, Marco Servetto, Elena Zucca:
A Syntactic Model of Mutation and Aliasing. DCM/ITRS 2018: 39-55 - Olivier Laurent:
Intersection Subtyping with Constructors. DCM/ITRS 2018: 73-84 - Joseph Razavi, Andrea Schalk:
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms. DCM/ITRS 2018: 85-92 - Giulio Guerrieri
:
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. DCM/ITRS 2018: 57-72 - 2017
- Naoki Kobayashi:
Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016. EPTCS 242, 2017 [contents] - 2016
- Cosku Acay
, Frank Pfenning:
Intersections and Unions of Session Types. ITRS 2016: 4-19 - Steffen van Bakel:
Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types. ITRS 2016: 20-30 - Mario Coppo, Mariangiola Dezani-Ciancaglini
, Alejandro Díaz-Caro
, Ines Margaria, Maddalena Zacchi:
Retractions in Intersection Types. ITRS 2016: 31-47 - Pawel Parys
:
Intersection Types and Counting. ITRS 2016: 48-63 - 2015
- Jakob Rehof:
Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. EPTCS 177, 2015 [contents] - 2014
- Marcin Benke
, Viviana Bono, Aleksy Schubert
:
Lucretia - intersection type polymorphism for scripting languages. ITRS 2014: 65-78 - Jan Bessai, Boris Düdder, Andrej Dudenhefner
, Tzu-Chun Chen
, Ugo de'Liguoro:
Typing Classes and Mixins with Intersection Types. ITRS 2014: 79-93 - Mario Coppo, Mariangiola Dezani-Ciancaglini
, Ines Margaria, Maddalena Zacchi:
On Isomorphism of "Functional" Intersection and Union Types. ITRS 2014: 53-64 - Charles Grellois, Paul-André Melliès:
Indexed linear logic and higher-order model checking. ITRS 2014: 43-52 - Kentaro Kikuchi:
Uniform Proofs of Normalisation and Approximation for Intersection Types. ITRS 2014: 10-23 - Mário Pereira
, Sandra Alves, Mário Florido
:
Liquid Intersection Types. ITRS 2014: 24-42 - Rick Statman:
A Finite Model Property for Intersection Types. ITRS 2014: 1-9 - 2013
- 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 [contents] - 2012
- Davide Ancona, Paola Giannini, Elena Zucca:
Reconciling positional and nominal binding. ITRS 2012: 81-93 - Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
Characterisation of Strongly Normalising lambda-mu-Terms. ITRS 2012: 1-17 - Erika De Benedetti, Simona Ronchi Della Rocca:
Bounding normalization time through intersection types. ITRS 2012: 48-57 - Mario Coppo, Mariangiola Dezani-Ciancaglini
, Ines Margaria, Maddalena Zacchi:
Toward Isomorphism of Intersection and Union types. ITRS 2012: 58-80 - Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn:
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis. ITRS 2012: 18-34 - Jana Dunfield:
Annotations for Intersection Typechecking. ITRS 2012: 35-47 - 2010
- Adriana B. Compagnoni, Healfdene Goguen:
Relating Church-Style and Curry-Style Subtyping. ITRS 2010: 1-15 - Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti:
Intersection Logic in sequent calculus style. ITRS 2010: 16-30 - Steffen van Bakel
:
Sound and Complete Typing for lambda-mu. ITRS 2010: 31-44
skipping 30 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-20 05:12 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint