Typed Lambda Calculi and Applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings Dezani-Ciancaglini Mariangiola Heftet / 1995 / Engelsk
Automata, Languages and Programming 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings Ausiello Giorgio Heftet / 1989 / Engelsk
