FEEDBACK Smiley face

Typed Lambda Calculi and Applications (Record no. 14285)

000 -LEADER
fixed length control field 03970nam a22005895i 4500
001 - CONTROL NUMBER
control field 978-3-540-68438-1
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170515111447.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 121227s1997 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540684381
-- 978-3-540-68438-1
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/3-540-62688-3
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA75.5-76.95
072 #7 - SUBJECT CATEGORY CODE
Subject category code UY
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYA
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM014000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM031000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151
Edition number 23
245 10 - TITLE STATEMENT
Title Typed Lambda Calculi and Applications
Medium [electronic resource] :
Remainder of title Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings /
Statement of responsibility, etc edited by Philippe de Groote, J. Roger Hindley.
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 1997.
300 ## - PHYSICAL DESCRIPTION
Extent VIII, 412 p.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 1210
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note A ?-to-CL translation for strong normalization -- Typed intermediate languages for shape analysis -- Minimum information code in a pure functional language with data types -- Matching constraints for the Lambda Calculus of Objects -- Coinductive axiomatization of recursive type equality and subtyping -- A simple adequate categorical model for PCF -- Logical reconstruction of bi-domains -- A module calculus for pure type systems -- An inference algorithm for strictness -- Primitive recursion for higher-order abstract syntax -- Eta-expansions in dependent type theory — The calculus of constructions -- Proof nets, garbage, and computations -- Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi -- Games and weak-head reduction for classical PCF -- A type theoretical view of Böhm-trees -- Semantic techniques for deriving coinductive characterizations of observational equivalences for ?-calculi -- Schwichtenberg-style lambda definability is undecidable -- Outermost-fair rewriting -- Pomset logic: A non-commutative extension of classical linear logic -- Computational reflection in the calculus of constructions and its application to theorem proving -- Names, equations, relations: Practical ways to reason about new -- An axiomatic system of parametricity -- Inhabitation in typed lambda-calculi (a syntactic approach) -- Weak and strong beta normalisations in typed ?-calculi.
520 ## - SUMMARY, ETC.
Summary, etc This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997. The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference, held in 1995, and competently reflects the state of the art in the area.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer logic.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical logic.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Theory of Computation.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical Logic and Formal Languages.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logics and Meanings of Programs.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming Techniques.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical Logic and Foundations.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Groote, Philippe de.
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Roger Hindley, J.
Relator term editor.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9783540626886
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Computer Science,
-- 0302-9743 ;
Volume number/sequential designation 1210
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/3-540-62688-3
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-LNC
912 ## -
-- ZDB-2-BAE
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type e-Book

No items available.


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in