Lambda calculus - Congresses.

Typed lambda calculi and applications6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings / by: (書目-電子資源)

Typed lambda calculi and applications9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ by: (書目-電子資源)

Typed lambda calculi and applicationsThird International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / by: (書目-電子資源)

Typed lambda calculi and applications4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings / by: (書目-電子資源)

Typed lambda calculi and applications5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings / by: (書目-電子資源)

Typed lambda calculi and applications10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (書目-電子資源)

Rewriting and Typed Lambda Calculijoint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

Mathematical Logic and Foundations.

Computing Methodologies.

Mathematical Logic and Formal Languages.

Rewriting systems (Computer science)

Lambda calculus

Logics and Meanings of Programs.

Mathematics of Computing.

Computer logic

Computer Science.

Symbolic and Algebraic Manipulation.