Found 43 Documents (Results 1–43)

The inhabitation problem for rank two intersection types. (English) Zbl 1215.03025

Ronchi della Rocca, Simona (ed.), Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73227-3/pbk). Lecture Notes in Computer Science 4583, 240-254 (2007).
MSC:  03B40 03D10 68Q17
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field