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