Typed lambda calculi and applications : proceedings / 6th International Conference, TLCA 2003; ed. Martin Hofmann
Corporate Author (Main)
International Conference, TLCA, 6, Valencia, 2003
Secondary Author
Hofmann, Martin, 1965-
Country
Alemanha.
Publication
Berlin : Springer, cop. 2003
Description
VIII, 315 p. ;
24 cm
Series
Lecture notes in computer science , 2701 , 0302-9743
ISBN
3-540-40332-9
CDU
519.6
There are no comments for this item.