tlca 1993: Typed Lambda Calculi and Applications - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Marc Bezem, Jan Friso Groote, editors, Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA 93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings. Volume 664 of Lecture Notes in Computer Science, Springer, 1993.

runs on WebDSL