Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings Abramsky, Samson Heftet / 2001 / Engelsk
Category Theory and Computer Programming Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings Pitt, David Heftet / 1986 / Engelsk
