Email Address * *
Name
Subject *
Message * Typed Lambda Calculi and Applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings - 354059048X - 9783540590484