Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings /

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings /

Saved in:
Bibliographic Details
Meeting name:International Conference on Typed Lambda Calculi and Applications (5th : 2001 : Kraków, Poland)
Imprint:New York : Springer, 2001.
Description:xi, 429 p. : some ill. ; 24 cm.
Language:English
Series:Lecture notes in computer science 2044
Subject:
Lambda calculus -- Congresses.
Lambda calculus.
Conference papers and proceedings.
Format: E-Resource Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/4441839
Hidden Bibliographic Details
Varying Form of Title:TLCA 2001
Other authors / contributors:Abramsky, Samson, 1953-
ISBN:3540419608 (acid-free paper)
Notes:Includes bibliographical references and index.
Also available by subscription via the World Wide Web.

Eckhart

Loading map link
Holdings details from Eckhart
Call Number: QA9.5.I58 2001
c.1 Available Loan period: standard loan  Request for Pickup Need help? - Ask a Librarian

Similar Items