×

Found 11 Documents (Results 1–11)

Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. (English) Zbl 1291.68017

Lecture Notes in Computer Science 8560. Berlin: Springer (ISBN 978-3-319-08917-1/pbk). xxii, 491 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. (English) Zbl 1264.03009

Lecture Notes in Computer Science 7941. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). xii, 251 p. (2013).
PDFBibTeX XMLCite
Full Text: DOI

Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. (English) Zbl 1215.03009

Lecture Notes in Computer Science 6690. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). xii, 245 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI

Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. (English) Zbl 1165.03001

Lecture Notes in Computer Science 5608. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). xiii, 417 p. (2009).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26–28, 2007. Proceedings. (English) Zbl 1120.03002

Lecture Notes in Computer Science 4583. Berlin: Springer (ISBN 978-3-540-73227-3/pbk). x, 397 p. (2007).
PDFBibTeX XMLCite
Full Text: DOI

Typed lambda calculi and applications. 7th international conference, TLCA 2005, Nara, Japan, April 21–23, 2005. Proceedings. (English) Zbl 1070.03001

Lecture Notes in Computer Science 3461. Berlin: Springer (ISBN 3-540-25593-1/pbk). xi, 433 p. (2005).
PDFBibTeX XMLCite
Full Text: DOI

Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10–12, 2003. Proceedings. (English) Zbl 1029.00023

Lecture Notes in Computer Science. 2701. Berlin: Springer. viii, 317 p. EUR 46.00/net; $ 56.00; £32.00; sFr 79.00 (2003).
PDFBibTeX XMLCite

Typed lambda calculi and applications. Third international conference on typed lambda calculi and applications, TLCA ’97, Nancy, France, April 2–4, 1997. Proceedings. (English) Zbl 1045.03501

Lecture Notes in Computer Science 1210. Berlin: Springer (ISBN 3-540-62688-3/pbk). viii, 405 p. (1997).
PDFBibTeX XMLCite
Full Text: DOI Link

Typed lambda calculi and applications. International conference, TLCA ’93, March 16–18, 1993, Utrecht, the Netherlands. Proceedings. (English) Zbl 0866.00038

Lecture Notes in Computer Science. 664. Berlin: Springer-Verlag. VIII, 433 p. DM 80.00 /sc (1993).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

all top 5

Year of Publication

all top 3

Main Field

Software