Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Martin Hofmann, editor, Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Volume 2701 of Lecture Notes in Computer Science, Springer, 2003.

Conference: tlca2003

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.