LEADER 03371nam  22007335  450 
001 996465539003316
005 20230406034223.0
010   $a3-642-21691-9
024 7 $a10.1007/978-3-642-21691-6
035   $a(CKB)2670000000095891
035   $a(SSID)ssj0000530693
035   $a(PQKBManifestationID)11367628
035   $a(PQKBTitleCode)TC0000530693
035   $a(PQKBWorkID)10568321
035   $a(PQKB)10123437
035   $a(DE-He213)978-3-642-21691-6
035   $a(MiAaPQ)EBC3066827
035   $a(PPN)153863080
035   $a(EXLCZ)992670000000095891
100   $a20110611d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTyped Lambda Calculi and Applications$b[electronic resource] $e10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /$fedited by Luke Ong
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XII, 245 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6690
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21690-0 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. The 15 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6690
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aComputer science
606   $aArtificial intelligence
606   $aMathematical logic
606   $aFormal Languages and Automata Theory
606   $aMathematics of Computing
606   $aComputer Science Logic and Foundations of Programming
606   $aSymbolic and Algebraic Manipulation
606   $aArtificial Intelligence
606   $aMathematical Logic and Foundations
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aComputer science.
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615 14$aFormal Languages and Automata Theory.
615 24$aMathematics of Computing.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aArtificial Intelligence.
615 24$aMathematical Logic and Foundations.
676   $a005.131
702   $aOng$b Luke$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Conference on Typed Lambda Calculi and Applications
906   $aBOOK
912   $a996465539003316
996   $aTyped Lambda Calculi and Applications$9772124
997   $aUNISA