Research Catalog

Typed lambda calculi and applications

Title: Typed lambda calculi and applications / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J.F. Groote, eds.
Author: International Conference on Typed Lambda Calculi and Applications (1993 : Utrecht, Netherlands)
Publication: Berlin ; New York : Springer-Verlag, c1993.

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 93-762	Offsite

Details

Additional Authors

Description

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

Series Statement

Lecture notes in computer science ; 664

Alternative Title

TCLA '93.
TCLA 1993.
International Conference on Typed Lambda Calculi and Applications.
Proceedings, TCLA '93.

Subject

Lambda calculus > Congresses

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 93-762

ISBN

3540565175 (Berlin : acid-free paper)
0387565175 (New York : acid-free paper)

LCCN

93021883

OCLC

27641569
NYPG93-B37942

Conference

International Conference on Typed Lambda Calculi and Applications (1993 : Utrecht, Netherlands)

Title

Typed lambda calculi and applications / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J.F. Groote, eds.

Imprint

Berlin ; New York : Springer-Verlag, c1993.

Series

Lecture notes in computer science ; 664

Bibliography

Includes bibliographical references and index.

Added Author

Bezem, M. (Marc), 1956-

Groote, J. F. (Jan Frisco), 1965-

Added Title

TCLA '93.

TCLA 1993.

International Conference on Typed Lambda Calculi and Applications.

Proceedings, TCLA '93.

Research Call Number

JSE 93-762

View in Legacy Catalog