Treffliste - International Conference on Typed Lambda Calculi and Applications - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

4 treff

Sortering

Forsidebilde

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
Inngår i serie: Lecture notes in computer science (3461)
Bok Engelsk c2005

Forsidebilde

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
Inngår i serie: Lecture notes in computer science (1581)
Bok Engelsk c1999

Forsidebilde

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
Inngår i serie: Lecture notes in computer science (2044)
Bok Engelsk c2001

Forsidebilde

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
Inngår i serie: Lecture notes in computer science (2701)
Bok Engelsk c2003

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk