×

Found 3 Documents (Results 1–3)

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

Filter Results by …

Document Type

Volume

Year of Publication

Main Field