Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.).

Author/creator International Conference on Typed Lambda Calculi and Applications
Other author De Groote, Philippe.
Other author Hindley, J. Roger.
Format Book
Publication InfoBerlin ; New York : Springer, ©1997.
Descriptionviii, 404 pages : illustrations ; 24 cm.
Subjects
Lambda calculus--Congresses.

SeriesLecture notes in computer science ; 1210
Lecture notes in computer science 1210. ^A466336
Contents A [lambda]-to-CL translation for strong normalization / Y. Akama -- Typed intermediate languages for shape analysis / G. Bellè, E. Moggi -- Minimum information code in a pure functional language with data types / S. Berardi, L. Boerio -- Matching constraints for the lambda calculus of objects / V. Bono, M. Bugliesi -- Coinductive axiomatization of recursive type equality and subtyping / M. Brandt, F. Henglein -- A simple adequate categorical model for PCF / T. Braüner -- Logical reconstruction of bi-domains / A. Bucciarelli -- A module calculus for pure type systems / J. Courant -- An inference algorithm for strictness / F. Damiani, P. Giannini -- Primitive recursion for higher-order abstract syntax / J. Despeyroux, F. Pfenning, C. Schürmann -- Eta-expansions in dependent type theory : the calculus of constructions / N. Ghani -- Proof nets, garbage, and computations / S. Guerrini, S. Martini, A. Masini -- Recursion from cyclic sharing : traced monoidal categories and models of cyclic lambda calculi / M. Hasegawa -- Games and weak-head reduction for classical PCF / H. Herbelin -- A type theoretical view of Böhm-trees / T. Kurata -- Semantic techniques for deriving coinductive characterizations of observational equivalences for [lambda]-calculi / M. Lenisa -- Schwichtenberg-style lambda definability is undecidable / J. Małolepszy, M. Moczurad, M. Zaionc -- Outermost-fair rewriting / F. van Raamsdonk -- Pomset logic : a non-commutative extension of classical linear logic / C. Retoré -- Computational reflection in the calculus of constructions and its application to theorem proving / H. Ruess -- Names, equations, relations ; practical ways to reason about new / I. Stark -- An axiomatic system of parametricity / I. Takeuti -- Inhabitation in typed lambda-calculi (a syntactic approach) / P. Urzyczyn -- Weak and strong beta normalisations in typed [lambda]-calculli / H. Xi
Bibliography noteIncludes bibliographical references and index.
LCCN 97006033
ISBN3540626883 (softcover : acid-free paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA9.5 .I58 1997 ✔ Available Place Hold