×

Found 4 Documents (Results 1–4)

Intersection typed \(\lambda \)-calculus. (English) Zbl 1270.03032

van Bakel, Steffen (ed.), ITRS’02. Proceedings of the 2nd workshop on intersection types and related systems (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 1, 163-181 (2003).
MSC:  03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software