Typed lambda calculi and applications 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings (Springer, 2009)
Literaturangaben