×

Found 8 Documents (Results 1–8)

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

Recursive domain equations of filter models. (English) Zbl 1133.03006

Geffert, Viliam (ed.) et al., SOFSEM 2008: Theory and practice of computer science. 34th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 19–25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77565-2/pbk). Lecture Notes in Computer Science 4910, 124-135 (2008).
MSC:  03B40 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field