×

Found 3 Documents (Results 1–3)

Feasible functionals and intersection of ramified types. (English) Zbl 1270.03066

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, 149-162 (2003).
MSC:  03D65
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Author

Year of Publication

Main Field