Functional Characters of Solvable Terms

DOI10.1002/MALQ.19810270205zbMATH Open0479.03006OpenAlexW2119240423MaRDI QIDQ3936713FDOQ3936713

Authors: Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri 

Publication date: 1981

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19810270205

zbMATH Keywords

typesfunctionalitylambda calculus languagenatural deduction systems with introduction and elimination rulesnonsignificant expressionsnormal form of a term

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (59)

• Characterization of the principal type of normal forms in an intersection type system
• Node Replication: Theory And Practice
• Manifest contracts with intersection types
• Title not available (Why is that?)
• Title not available (Why is that?)
• The emptiness problem for intersection types
• Title not available (Why is that?)
• Complete restrictions of the intersection type discipline
• Essential and relational models
• Intersection type assignment systems
• A Type Theory for Probabilistic $$\lambda $$–calculus
• Full abstraction for lambda calculus with resources and convergence testing
• Simple type-theoretic foundations for object-oriented programming
• Strong normalization through intersection types and memory
• Typed generic traversal with term rewriting strategies
• Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
• Normalization, approximation, and semantics for combinator systems
• \(F\)-semantics for type assignment systems
• A type assignment system for game semantics
• Principal type schemes for an extended type theory
• Typing and computational properties of lambda expressions
• Elaborating intersection and union types
• A characterization of F-complete type assignments
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• Nominal essential intersection types
• Typing untyped \(\lambda\)-terms, or reducibility strikes again!
• Meeting of the Association for Symbolic Logic, Stanford, California, 1985
• Reasoning about call-by-need by means of types
• Principality and type inference for intersection types using expansion variables
• Taming the merge operator
• Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved
• Strong normalization and typability with intersection types
• Intersection types and computational rules
• Type Inference for Rank 2 Gradual Intersection Types
• The bang calculus revisited
• Intersection and union types
• On sets of terms having a given intersection type
• Applicative intersection types
• Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models
• Completeness of type assignment systems with intersection, union, and type quantifiers
• Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus
• Title not available (Why is that?)
• Intersection types and lambda models
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• On strong normalization and type inference in the intersection type discipline
• Disjoint polymorphism
• Strictness, totality, and non-standard-type inference
• A resource aware semantics for a focused intuitionistic calculus
• Intersection types for combinatory logic
• Types with intersection: An introduction
• The coherence of languages with intersection types
• Normalization without reducibility
• The ``relevance of intersection and union types
• Intersection and singleton type assignment characterizing finite Böhm-trees
• A filter lambda model and the completeness of type assignment
• Non-idempotent intersection types in logical form
• Semantic types and approximation for Featherweight Java
• Structural rules and algebraic properties of intersection types
• Hyperformulae, parallel deductions and intersection types

This page was built for publication: Functional Characters of Solvable Terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3936713)