Vor Ort
Merkzettel Warenkorb
  • Produktbild: Typed Lambda Calculi and Applications
  • Produktbild: Typed Lambda Calculi and Applications
Band 1210

Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.03.1997

Abbildungen

VIII, 412 p.

Herausgeber

Philippe de Groote + weitere

Verlag

Springer Berlin

Seitenzahl

412

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

633 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-62688-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.03.1997

Abbildungen

VIII, 412 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

412

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

633 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-62688-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Typed Lambda Calculi and Applications
  • Produktbild: Typed Lambda Calculi and Applications
  • 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.