Research Catalog

Title

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

International Conference on Typed Lambda Calculi and Applications (3rd : 1997 : Nancy, France)

Publication

Berlin ; New York : Springer, [1997], ©1997.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• De Groote, Philippe.
• Hindley, J. Roger.

Description

viii, 404 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1210

Uniform Title

Lecture notes in computer science ; 1210.

Subject

• Lambda calculus > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• A [lambda]-to-CL translation for strong normalization / Y. Akama -- Typed intermediate languages for shape analysis / G. Belle and E. Moggi -- Minimum information code in a pure functional language with data types / S. Berardi and L. Boerio -- Matching constraints for the lambda calculus of objects / V. Bono and M. Bugliesi -- Coinductive axiomatization of recursive type equality and subtyping / M. Brandt and F. Henglein -- A simple adequate categorical model for PCF / T. Brauner -- Logical reconstruction of bi-domains / A. Bucciarelli -- A module calculus for Pure Type Systems / J. Courant -- An inference algorithm for strictness / F. Damiani and P. Giannini -- Primitive recursion for higher-order abstract syntax / J. Despeyroux, F. Pfenning and C. Schurmann -- Eta-expansions in dependent type theory - the calculus of constructions / N. Ghani -- Proof nets, garbage, and computations / S. Guerrini, S. Martini and 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 Bohm-trees / T. Kurata -- Semantic techniques for deriving coinductive characterizations of observational equivalences for [lambda]-calculi / M. Lenisa -- Schwichtenberg-style lambda definability is undecidable / J. Malolepszy, M. Moczurad and M. Zaionc -- Outermost-fair rewriting / F. van Raamsdonk -- Pomset logic: a non-commutative extension of classical linear logic / C. Retore -- 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]-calculi / H. Xi.

ISBN

3540626883 (softcover : acid-free paper)

LCCN

97006033

OCLC

ocm36461644

Owning Institutions

Columbia University Libraries