Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-2 of 2)
Informatique appliquée.
1
E-book
2005

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 (7th : 2005 : Nara, Japan)

Berlin : Springer, ©2005

Rating:

 
Add Marked to Bag Add All On Page
Locate in results