ISBN: 9783540590484
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revise… Mehr…
Springer.com Nr. 978-3-540-59048-4. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science) - Taschenbuch
2008, ISBN: 9783540590484
Springer, Paperback, Auflage: 1995, 460 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Book, 0.5 kg, Architecture & Microprocessors, Computer Science, Computing & Internet, Subj… Mehr…
amazon.co.uk dsannella Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.48) Details... |
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science) - Taschenbuch
2008, ISBN: 9783540590484
Springer, Paperback, Auflage: 1995, 460 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Book, 0.5 kg, Architecture & Microprocessors, Computer Science, Computing & Internet, Subj… Mehr…
amazon.co.uk Amazon.co.uk Versandkosten:Usually dispatched within 6 days. Lieferung von Amazon. (EUR 5.03) Details... |
ISBN: 9783540590484
*Typed Lambda Calculi and Applications* - Second International Conference on Typed Lambda Calculi and Applications TLCA '95 Edinburgh United Kingdom April 10 - 12 1995. Proceedings. Aufla… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
1995, ISBN: 9783540590484
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings, Buch, Softcover, [PU: Springer Berlin], Sp… Mehr…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
ISBN: 9783540590484
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revise… Mehr…
Plotkin, Gordon, Dezani-Ciancaglini, Mariangiola:
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science) - Taschenbuch2008, ISBN: 9783540590484
Springer, Paperback, Auflage: 1995, 460 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Book, 0.5 kg, Architecture & Microprocessors, Computer Science, Computing & Internet, Subj… Mehr…
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science) - Taschenbuch
2008
ISBN: 9783540590484
Springer, Paperback, Auflage: 1995, 460 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Book, 0.5 kg, Architecture & Microprocessors, Computer Science, Computing & Internet, Subj… Mehr…
ISBN: 9783540590484
*Typed Lambda Calculi and Applications* - Second International Conference on Typed Lambda Calculi and Applications TLCA '95 Edinburgh United Kingdom April 10 - 12 1995. Proceedings. Aufla… Mehr…
1995, ISBN: 9783540590484
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings, Buch, Softcover, [PU: Springer Berlin], Sp… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Typed Lambda Calculi and Applications
EAN (ISBN-13): 9783540590484
ISBN (ISBN-10): 354059048X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer Berlin Heidelberg
460 Seiten
Gewicht: 0,690 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-04-10T17:45:32+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-12-11T14:07:37+01:00 (Vienna)
ISBN/EAN: 9783540590484
ISBN - alternative Schreibweisen:
3-540-59048-X, 978-3-540-59048-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ciancaglini, plotkin, gordon
Titel des Buches: 1995 band, united kingdom, second april, the lambda calculus, typed lambda calculi applications, lecture notes computer science, applications application, kingdoms, unite science, let over lambda, proceedings international conference, old and new edinburgh
Daten vom Verlag:
Autor/in: Mariangiola Dezani-Ciancaglini; Gordon Plotkin
Titel: Lecture Notes in Computer Science; Typed Lambda Calculi and Applications - Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
Verlag: Springer; Springer Berlin
452 Seiten
Erscheinungsjahr: 1995-03-17
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 452 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; lambda calculus; logic; programming; programming language; proof theory; semantics; verification; Theory of Computation; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Programming Techniques; Mathematik: Logik; Mathematische Grundlagen; Computerprogrammierung und Softwareentwicklung; EA
Comparing ?-calculus translations in sharing graphs.- Extensions of pure type systems.- A model for formal parametric polymorphism: A per interpretation for system R.- A realization of the negative interpretation of the Axiom of Choice.- Using subtyping in program optimization.- What is a categorical model of Intuitionistic Linear Logic?.- An explicit Eta rewrite rule.- Extracting text from proofs.- Higher-order abstract syntax in Coq.- Expanding extensional polymorphism.- Lambda-calculus, combinators and the comprehension scheme.- ??-Equality for coproducts.- Typed operational semantics.- A simple calculus of exception handling.- A simple model for quotient types.- Untyped ?-calculus with relative typing.- Final semantics for untyped ?-calculus.- A simplification of Girard's paradox.- Basic properties of data types with inequational refinements.- Decidable properties of intersection type systems.- Termination proof of term rewriting system with the multiset path ordering. A complete development in the system Coq.- Typed ?-calculi with explicit substitutions may not terminate.- On equivalence classes of interpolation equations.- Strict functionals for termination proofs.- A verified typechecker.- Categorical semantics of the call-by-value ?-calculus.- A fully abstract translation between a ?-calculus with reference types and Standard ML.- Categorical completeness results for the simply-typed lambda-calculus.- Third-order matching in the presence of type constructors.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030271800 Queueing Theory and Network Applications (Phung-Duc, Tuan Kasahara, Shoji Wittevrongel, Sabine)
- 9783030271800 Queueing Theory and Network Applications (Phung-Duc, Tuan Kasahara, Shoji Wittevrongel, Sabine)
- 9780818688065 COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, Proceedings of The IEEE Computer Society's 11th Annual International (COMPSAC 87), 7-9 October 1987, Tokyo, Japan. (IEEE Computer Society)
- 9780818688737 COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, Proceedings of The IEEE Computer Society's 12th Annual International (COMPSAC 88), 5-7 October 1988, Chicago, Illinois. (IEEE Computer Society)
- 9780769517278 Proceedings 26th Annual International Computer Software and Applications Conference: 26-29 August 2002 Oxford, England (IEEE Computer Society)
- 9780818687273 COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, Proceedings of The IEEE Computer Society's 10th Annual International (COMPSAC 86), 8-10 October 1986, Chicago, Illinois. (IEEE Computer Society)
- 9783540255932 Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings Pawel Urzyczyn Editor (Pawel Urzyczyn)
- Queueing Theory and Network Applications: 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings (Lecture Notes in Computer Science Book 10932) (English Edition) (unknown)
< zum Archiv...