Type theories, normal forms, and D_-lambda-models
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3831284 (Why is no real title available?)
- scientific article; zbMATH DE number 3835992 (Why is no real title available?)
- scientific article; zbMATH DE number 3889501 (Why is no real title available?)
- scientific article; zbMATH DE number 3889502 (Why is no real title available?)
- scientific article; zbMATH DE number 3880074 (Why is no real title available?)
- scientific article; zbMATH DE number 3811535 (Why is no real title available?)
- scientific article; zbMATH DE number 3780545 (Why is no real title available?)
- scientific article; zbMATH DE number 3523517 (Why is no real title available?)
- scientific article; zbMATH DE number 3532922 (Why is no real title available?)
- scientific article; zbMATH DE number 3596799 (Why is no real title available?)
- scientific article; zbMATH DE number 3637819 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
- A filter lambda model and the completeness of type assignment
- A new type assignment for λ-terms
- Combinators, \(\lambda\)-terms and proof theory
- Combinatory logic. With two sections by William Craig.
- Data Types as Lattices
- Functional Characters of Solvable Terms
- Intensional interpretations of functionals of finite type I
- Lambda‐Calculus Models and Extensionality
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- The completeness theorem for typing lambda-terms
- The lambda calculus. Its syntax and semantics. Rev. ed.
- What is a model of the lambda calculus?
- -calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975
Cited in
(42)- Cut-elimination in the strict intersection type assignment system is strongly normalizing
- Discrimination by parallel observers: the algorithm.
- From Böhm's theorem to observational equivalences: an informal account
- Set-theoretical and other elementary models of the \(\lambda\)-calculus
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- Strong normalization from an unusual point of view
- Filter models with polymorphic types
- Logical semantics for stability
- Type inference, abstract interpretation and strictness analysis
- Complete restrictions of the intersection type discipline
- Effective λ-models versus recursively enumerable λ-theories
- Intersection type assignment systems
- Relational graph models, Taylor expansion and extensionality
- Compositional characterisations of \(\lambda\)-terms using intersection types
- Recursive Domain Equations of Filter Models
- scientific article; zbMATH DE number 3889502 (Why is no real title available?)
- The infinitary lambda calculus of the infinite eta Böhm trees
- Intersection types for \(\lambda\)-trees
- A characterization of F-complete type assignments
- Infinite \(\lambda\)-calculus and types
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
- Recursion over realizability structures
- On the characterization of models of \(\mathcal{H}^*\)
- Intersection types and computational rules
- scientific article; zbMATH DE number 2003154 (Why is no real title available?)
- On equivalence and canonical forms in the LF type theory
- Filter models: non-idempotent intersection types, orthogonality and polymorphism
- Intersection types and lambda models
- An irregular filter model
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
- Simple easy terms
- Every \(\lambda \)-term is meaningful for the infinitary relational model
- Intersection types for combinatory logic
- Types with intersection: An introduction
- Relational graph models at work
- Semantical analysis of perpetual strategies in -calculus
- Behavioural inverse limit \(\lambda\)-models
- Intersection types and domain operators
- Generalized filter models
- A filter lambda model and the completeness of type assignment
- scientific article; zbMATH DE number 7204439 (Why is no real title available?)
This page was built for publication: Type theories, normal forms, and \(D_{\infty}\)-lambda-models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102936)
