International Conference on Typed Lambda Calculi and Applications
TLCA (Conférence)
VIAF ID: 133011229 ( Corporate )
Permalink: http://viaf.org/viaf/133011229
Preferred Forms
-
- 111 2 _ ‡a International Conference on Typed Lambda Calculi and Applications
-
- 110 2 _ ‡a International Conference on Typed Lambda Calculi and Applications
- 110 2 _ ‡a International Conference on Typed Lambda Calculi and Applications
- 111 2 _ ‡a International Conference on Typed Lambda Calculi and Applications
-
4xx's: Alternate Name Forms (13)
Works
Title | Sources |
---|---|
Typed lambda calculi and applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings |