Research Catalog

Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

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, c1997.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 97-566	Offsite

Details

Additional Authors

Description

viii, 404 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 1210

Subject

Lambda calculus > Congresses

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 97-566

ISBN

3540626883 (softcover : acid-free paper)

LCCN

97006033

OCLC

36461644

Conference

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

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.).

Imprint

Berlin ; New York : Springer, c1997.

Series

Lecture notes in computer science ; 1210

Bibliography

Includes bibliographical references and index.

Added Author

De Groote, Philippe.

Hindley, J. Roger.

Research Call Number

JSE 97-566

View in Legacy Catalog