×

Found 23 Documents (Results 1–23)

A realizability interpretation for intersection and union types. (English) Zbl 1485.03030

Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 187-205 (2016).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI HAL

Mixin composition synthesis based on intersection types. (English) Zbl 1433.03035

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 76-91 (2015).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI

Characterisation of strongly normalising \(\lambda\mu\)-terms. (English) Zbl 1464.03013

Graham-Lengrand, Stéphane (ed.) et al., Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 121, 1-17 (2013).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: arXiv Link

Fourth workshop on classical logic and computation, Warwick, England, July 8, 2012. Proceedings. (English) Zbl 1391.03008

Electronic Proceedings in Theoretical Computer Science (EPTCS) 97. Waterloo: Open Publishing Association (OPA). 62 p., open access (2012).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

A filter model for the \(\lambda \mu \)-calculus (extended abstract). (English) Zbl 1331.03021

Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 213-228 (2011).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI

Subtyping in logical form. (English) Zbl 1270.03033

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, 72-87 (2003).
MSC:  03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI

May and must convergency in concurrent \(\lambda \)-calculus (extended abstract). (English) Zbl 1493.68079

Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 211-220 (1994).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Fully abstract semantics for concurrent \(\lambda\)-calculus. (English) Zbl 0942.03509

Hagiya, Masami (ed.) et al., Theoretical aspects of computer software. 2nd international Symposium TACS ’94, Sendai, Japan, April 19-22, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 789, 16-35 (1994).
MSC:  03B40 68Q55
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field