Dowek, Gilles (ed.) 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). MSC: 68-06 03-06 03B40 68N18 68Q42 00B25 PDFBibTeX XMLCite \textit{G. Dowek} (ed.), 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. Berlin: Springer (2014; Zbl 1291.68017) Full Text: DOI
Hasegawa, Masahito (ed.) 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). MSC: 03-06 68-06 03B40 68N18 00B25 PDFBibTeX XMLCite \textit{M. Hasegawa} (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26--28, 2013. Proceedings. Berlin: Springer (2013; Zbl 1264.03009) Full Text: DOI
Ong, Luke (ed.) 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). MSC: 03-06 68-06 03B40 68N18 00B25 PDFBibTeX XMLCite \textit{L. Ong} (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1--3, 2011. Proceedings. Berlin: Springer (2011; Zbl 1215.03009) Full Text: DOI
Curien, Pierre-Louis (ed.) 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). MSC: 03-06 68-06 03B40 68N18 00B25 PDFBibTeX XMLCite \textit{P.-L. Curien} (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings. Berlin: Springer (2009; Zbl 1165.03001) Full Text: DOI arXiv
Ronchi della Rocca, Simona (ed.) 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). MSC: 03-06 68-06 03B40 68N18 00B25 PDFBibTeX XMLCite \textit{S. Ronchi della Rocca} (ed.), Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26--28, 2007. Proceedings. Berlin: Springer (2007; Zbl 1120.03002) Full Text: DOI
Urzyczyn, Paweł (ed.) 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). MSC: 03-06 68-06 03B40 68N18 00B25 PDFBibTeX XMLCite \textit{P. Urzyczyn} (ed.), Typed lambda calculi and applications. 7th international conference, TLCA 2005, Nara, Japan, April 21--23, 2005. Proceedings. Berlin: Springer (2005; Zbl 1070.03001) Full Text: DOI
Hofmann, Martin (ed.) 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). MSC: 00B25 03-06 68-06 03B40 68N18 PDFBibTeX XMLCite \textit{M. Hofmann} (ed.), Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10--12, 2003. Proceedings. Berlin: Springer (2003; Zbl 1029.00023)
de Groote, Philippe (ed.); Hindley, J. Roger (ed.) 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). MSC: 03-06 68-06 03B40 68N18 00B25 PDFBibTeX XMLCite \textit{P. de Groote} (ed.) and \textit{J. R. Hindley} (ed.), Typed lambda calculi and applications. Third international conference on typed lambda calculi and applications, TLCA '97, Nancy, France, April 2--4, 1997. Proceedings. Berlin: Springer (1997; Zbl 1045.03501) Full Text: DOI Link
Wansing, Heinrich The logic of information structures. (English) Zbl 0788.03001 Lecture Notes in Computer Science 681. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag. IX, 163 p. DM 46.00 /sc (1993). Reviewer: H.Guggenheimer (West Hempstead) MSC: 03-02 68-02 68T27 03B20 03F05 03B47 03B40 03B15 PDFBibTeX XMLCite \textit{H. Wansing}, The logic of information structures. Berlin: Springer-Verlag (1993; Zbl 0788.03001) Full Text: DOI
Bezem, Marc (ed.); Groote, Jan F. (ed.) 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). MSC: 00B25 03-06 68-06 03B40 PDFBibTeX XMLCite \textit{M. Bezem} (ed.) and \textit{J. F. Groote} (ed.), Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings. Berlin: Springer-Verlag (1993; Zbl 0866.00038) Full Text: DOI
O’Donnell, Michael J. Computing in systems described by equations. (English) Zbl 0421.68038 Lecture Notes in Computer Science. 58. Berlin-Heidelberg-New York: Springer-Verlag. XIV, 111 p. (1977). MSC: 68Q65 68N01 03B40 08B05 PDFBibTeX XML