Typed lambda calculi and applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings /
|aInternational Conference on Typed Lambda Calculi and Applications|n(3rd :|d1997 :|cNancy, France)
245
10
|aTyped lambda calculi and applications|h[electronic resource] :|bThird International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings /|cPhilippe de Groote, J. Roger Hindley (eds.).
260
|aBerlin ;|aNew York :|bSpringer,|cc1997.
300
|aviii, 404 p. :|bdigital ;|c24 cm.
440
0
|aLecture notes in computer science ;|v1210
650
0
|aLambda calculus|xCongresses.
700
1
|aDe Groote, Philippe.
700
1
|aHindley, J. Roger.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-62688-3
950
|aComputer Science (Lecture Notes in Computer Science)