Tools

LEADER 02395cam a2200457 a 4500

001 ssj0000327455;

003 WaSeSS;

005 20240712080447.0;

006 m d ;

007 cr n ;

008 950202s1995 gw a sb 101 0 eng d;

010 a| 95005969;

020 a| 354059048X (Berlin : =bk. : acid-free paper) :c| DM 86;

020 a| 038759048X (New York : pbk. : acid-free paper);

035 a| (WaSeSS)ssj0000327455;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

050 00 a| QA9.5b| .I58 1995;

082 00 a| 511.32| 20;

111 2 a| International Conference on Typed Lambda Calculi and Applicationsn| (2nd :d| 1995 :c| Edinburgh, Scotland)?| UNAUTHORIZED;

245 10 a| Typed lambda calculi and applicationsh| [electronic resource] :b| second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings /c| Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds.;

260 a| Berlin ;a| New York :b| Springer-Verlag,;

300 a| viii, 442 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science ;v| 902;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Lambda calculusx| Congresses.=| ^A173635;

655 0 a| Electronic books.=| ^A491897;

700 2 a| Dezani-Ciancaglini, M.q| (Mariangiola)=| ^A250103;

700 1 a| Plotkin, G.q| (Gordon),d| 1946-=| ^A187057;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Scienceu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2FBFb0014040;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2FBFb0014040;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4312771;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4312771-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/4/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4312771-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/4/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4312771-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/4/2016x| EBOOKz| JERESOURCE;

Typed lambda calculi and applications second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds.

Author/creator	International Conference on Typed Lambda Calculi and Applications
Other author	Dezani-Ciancaglini, M. (Mariangiola)
Other author	Plotkin, G. (Gordon), 1946-
Format	Electronic
Publication Info	Berlin ; New York : Springer-Verlag,
Description	viii, 442 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science
Supplemental Content	Full text available from Springer Books
Subjects	Lambda calculus--Congresses.

Series	Lecture notes in computer science ; 902
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	95005969
ISBN	354059048X (Berlin : =bk. : acid-free paper) :
ISBN	038759048X (New York : pbk. : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from SpringerLINK Lecture Notes in Computer Science Full text available from SpringerLINK Lecture Notes in Computer Science	✔ Available

Typed lambda calculi and applications second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds.

Click here for more information about this title

Availability