Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings, edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin

Resource Information

The instance Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings, edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540590484&Type=L

Label

Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings, edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin

Title remainder

Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings

Statement of responsibility

edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin

Instantiates

• Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings

Publication

• Berlin, Heidelberg, Springer-Verlag, 1995

Antecedent source

mixed

Bibliography note

Includes bibliographical references and index

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

not applicable

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Contents

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

Control code

827360023

Dimensions

unknown

Extent

1 online resource

File format

multiple file formats

Form of item

online

Isbn

9783540590484

Level of compression

uncompressed

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

10.1007/BFb0014040

Other physical details

volumes: digital.

Quality assurance targets

absent

Record ID

.b130113402

Reformatting quality

access

Specific material designation

remote

System control number

(OCoLC)827360023