A Classification Of Intersection Type Systems

Journal of Symbolic Logic 67 (1):353-368 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A classification of intersection type systems.M. W. Bunder - 2002 - Journal of Symbolic Logic 67 (1):353-368.
Intersection Type Systems and Logics Related to the Meyer–Routley System B+.Martin Bunder - 2003 - Australasian Journal of Logic 1:43-55.
Strong Normalization and Typability with Intersection Types.Silvia Ghilezan - 1996 - Notre Dame Journal of Formal Logic 37 (1):44-52.
Intersection types for lambda-terms and combinators and their logics.Martin Bunder - 2002 - Logic Journal of the IGPL 10 (4):357-378.
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing.Steffen van Bakel - 2004 - Notre Dame Journal of Formal Logic 45 (1):35-63.
On co-simple isols and their intersection types.Rod Downey & Theodore A. Slaman - 1992 - Annals of Pure and Applied Logic 56 (1-3):221-237.
Explicit substitution calculi with de Bruijn indices and intersection type systems.D. L. Ventura, F. Kamareddine & M. Ayala-Rincon - 2015 - Logic Journal of the IGPL 23 (2):295-340.
The emptiness problem for intersection types.Paweł Urzyczyn - 1999 - Journal of Symbolic Logic 64 (3):1195-1215.
Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic.M. W. Bunder & W. J. M. Dekkers - 2005 - Notre Dame Journal of Formal Logic 46 (2):181-205.
In Quest of 'Good' Medical Classification Systems.Lara K. Kutschenko - 2011 - Medicine Studies 3 (1):53-70.
From the universe of knowledge to the universe of concepts: The structural revolution in classification for information retrieval. [REVIEW]Clare Beghtol - 2008 - Axiomathes 18 (2):131-144.
Comparing cubes of typed and type assignment systems.Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca & Pawel Urzyczyn - 1997 - Annals of Pure and Applied Logic 86 (3):267-303.
Logic and the Classification of Philosophical Systems.Gabriella Crocco - 2016 - Philosophia Scientiae 20:127-148.
Prototype classification and logical classification. The two systems.Eleanor Rosch - 1983 - In E. F. Scholnick (ed.), New Trends in Cognitive Representation. Erlbaum. pp. 73-86.
Classification and Categorization: A Difference that Makes a Difference.Elin K. Jacob - unknown

Analytics

Added to PP
2017-02-21

Downloads
2 (#1,801,846)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references