Typed lambda calculi and applications : proceedings / Third International Conference...; ed. Philippe de Groote, J. Roger Hindley
Corporate Author (Main)
International Conference on Typed Lambda Calculi and Applications, 3, Nancy, 1997
Secondary Author
Groote, Philippe de
Hindley, J. Roger
Country
Alemanha.
Publication
Berlin : Springer, cop. 1997
Description
VIII, 404 p. :
il. ;
24 cm
Series
Lecture notes in computer science , 1210
ISBN
3-540-62688-3
CDU
519.6
There are no comments for this item.