| 1 |
Typed Lambda Calculi and Applications electronic resource : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings / edited by Pierre-Louis Curien
|
Brazil) 2009 : (9th International Conference on Typed Lambda Calculi and Applications Brasília
|
uuuu-uuuu |
Okänt |
| 2 |
Typed Lambda Calculi and Applications electronic resource : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings / edited by Masahito Hasegawa
|
Netherlands) 2013 : (11th International Conference on Typed Lambda Calculi and Applications Eindhoven
|
uuuu-uuuu |
Okänt |
| 3 |
Typed Lambda Calculi and Applications electronic resource : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / edited by Samson Abramsky
|
Poland) 2001 : (5th International Conference on Typed Lambda Calculi and Applications Kraków
|
uuuu-uuuu |
Okänt |
| 4 |
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings / Pawel Urzyczyn (ed.)
|
Japan) 2005 : (7th International Conference on Typed Lambda Calculi and Applications Nara-shi
|
uuuu-uuuu |
Okänt |
| 5 |
Typed Lambda Calculi and Applications electronic resource : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong
|
Serbia) 2011 : (10th International Conference on Typed Lambda Calculi and Applications Novi Sad
|
uuuu-uuuu |
Okänt |
| 6 |
Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007. proceedings / Simona Ronchi della Rocca (editor)
|
France) 2007 : (8th International Conference on Typed Lambda Calculi and Applications Paris
|
uuuu-uuuu |
Okänt |
| 7 |
"Typed Lambada Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings"
|
International Conference on Typed Lambda Calculi and Applications
|
2009 |
Okänt |
| 8 |
"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
|
1997 |
Okänt |
| 9 |
"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
|
2001 |
Okänt |
| 10 |
"Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 proceedings"
|
International Conference on Typed Lambda Calculi and Applications
|
2007 |
Okänt |
| 11 |
Typed Lambda Calculi and Applications electronic resource : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings / edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
|
International Conference on Typed Lambda Calculi and Applications
|
uuuu-uuuu |
Okänt |
| 12 |
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings / Jean-Yves Girard (editor)
|
International Conference on Typed Lambda Calculi and Applications
|
uuuu-uuuu |
Okänt |
| 13 |
Typed Lambda Calculi and Applications electronic resource : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings / edited by Philippe de Groote, J. Roger Hindley
|
International Conference on Typed Lambda Calculi and Applications
|
uuuu-uuuu |
Okänt |
| 14 |
Typed Lambda Calculi and Applications electronic resource : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings / edited by Marc Bezem, Jan F. Groote
|
International Conference on Typed Lambda Calculi and Applications
|
uuuu-uuuu |
Okänt |
| 15 |
"Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings"
|
International Conference on Typed Lambda Calculi and Applications
|
1993 |
Okänt |
| 16 |
"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
|
1995 |
Okänt |
| 17 |
"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
|
2003 |
Okänt |
| 18 |
"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
|
1999 |
Okänt |
| 19 |
Typed Lambda Calculi and Applications electronic resource : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings / edited by Martin Hofmann
|
Spain) International Conference on Typed Lambda Calculi and Applications Valencia
|
uuuu-uuuu |
Okänt |
| 20 |
Typed Lambda Calculi and Applications - 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
|
Spain), International Conference on Typed Lambda Calculi and Applications 2003 : Valencia International Conference on Typed Lambda Calculi and Applications
|
2003 |
Engelska |