Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10--12, 2003. Proceedings

Author name not available (Why is that?)

Publication date: 20 January 2004

Published in: (Search for Journal in Brave)

No records found.

This page was built for publication: Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10--12, 2003. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1418347)