Typed lambda calculi and applications 6th international conference, TLCA 2003, Valencia, Spain, June 10 - 20, 2003 ; proceedings (Springer, 2003)
Includes bibliographical references and index