Research Catalog

[Greek letter Lambda (romanized form)] [i.e. Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm.

Title: [Greek letter Lambda (romanized form)] [i.e. Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm.
Publication: Berlin ; New York : Springer-Verlag, 1975.

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 81-361	Offsite

Holdings

Details

Additional Authors

Description

xii, 370 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 37

Subjects

Bibliography (note)

Includes bibliographies.

Language (note)

English or French.

Call Number

JSE 81-361

ISBN

0387074163

LCCN

75033375

OCLC

1849004

Title

[Greek letter Lambda (romanized form)] [i.e. Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm.

Imprint

Berlin ; New York : Springer-Verlag, 1975.

Series

Lecture notes in computer science, 37

Bibliography

Includes bibliographies.

Language

English or French.

Added Author

Böhm, C. (Corrado), 1923-

Istituto per le applicazioni del calcolo.

Research Call Number

JSE 81-361

View in Legacy Catalog