Normal view MARC view ISBD view

The Parametric Lambda Calculus : a Meta-Model for Computation (Record no. 129359)

MARC details
000 -LEADER
fixed length control field	00640nam a2200181 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	031124s2004 nyua b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	3540200320 (hb)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9783540200321
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	511.35 ROC-PAO
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Ronchi Della Rocca, S.
245 14 - TITLE STATEMENT
Title	The Parametric Lambda Calculus : a Meta-Model for Computation
Statement of responsibility, etc	Simona Ronchi Della Rocca, Luca Paolini.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc	Berlin ;
Name of publisher, distributor, etc	Springer-Verlag,
Date of publication, distribution, etc	2004.
300 ## - PHYSICAL DESCRIPTION
Extent	xiii, 252 p. :
Other physical details	ill. ;
Dimensions	23 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title	Texts in theoretical computer science
500 ## - GENERAL NOTE
General note	Includes bibliographical references and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Lambda calculus.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Paolini, Luca
952 ## - LOCATION AND ITEM INFORMATION (KOHA)
Koha normalized classification for sorting	511_350000000000000_ROCPAO
Koha itemnumber	172715

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Home library	Current library	Shelving location	Date acquired	Total Checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type
		Dewey Decimal Classification			Goa University Library	Goa University Library	General Stacks	01/01/2019		511.35 ROC-PAO	174927	01/01/2019	01/01/2019	Books