Search Sciweavers | Sciweavers

25

GC
2002
Springer

120views Applied Computing» more GC 2002»

Ramsey-Type Results for Unions of Comparability Graphs

13 years 7 months ago

Given a graph on n vertices which is the union of two comparability graphs on the same vertex set, it always contains a clique or independent set of size n 1 3 . On the other hand...

Adrian Dumitrescu, Géza Tóth

claim paper

Read More »

25

click to vote

TCS
2008

117views Theoretical Computer Science» more TCS 2008»

A typed lambda calculus with intersection types

13 years 7 months ago

Download rap.dsi.unifi.it

Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...

Viviana Bono, Betti Venneri, Lorenzo Bettini

claim paper

Read More »

20

click to vote

LICS
2000
IEEE

106views Automated Reasoning» more LICS 2000»

A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping

14 years 2 days ago

Download www.pps.jussieu.fr

We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...

Alexandre Miquel

claim paper

Read More »

26

click to vote

TCS
2008

90views Theoretical Computer Science» more TCS 2008»

On strong normalization and type inference in the intersection type discipline

13 years 7 months ago

Download ftp-sop.inria.fr

We introduce a new unification procedure for the type inference problem in the intersection type discipline. It is well known that type inference in this case should succeed exact...

Gérard Boudol

claim paper

Read More »

18

click to vote

CORR
2009
Springer

67views Education» more CORR 2009»

Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

13 years 5 months ago