7 treff

International Conference on Typed Lambda Calculi and Applications
Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1933, Utrecht, The Netherlands : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1993
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 2005
Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 2003
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 2001
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1999
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1997
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1995