Lambda calculus - Congresses.
Overview
| Works: | 3 works in 2 publications in 2 languages | |
|---|---|---|
Titles
Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
by:
(Language materials, printed)
Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings /
by:
(Language materials, printed)
Typed lambda calculi and applications = 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings /
by:
(Language materials, printed)