×

Found 3 Documents (Results 1–3)

Intersection types for the resource control lambda calculi. (English) Zbl 1351.03008

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 116-134 (2011).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI Link

Mechanizing the metatheory of mini-XQuery. (English) Zbl 1350.68054

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 280-295 (2011).
MSC:  68N15 68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI

Converting between combinatory reduction systems and big step semantics. (English) Zbl 1253.68212

Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 297-314 (2009).
MSC:  68Q55 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field