Relational graph models, Taylor expansion and extensionality

DOI10.1016/J.ENTCS.2014.10.014MaRDI QIDQ283769zbMATH OpenOpenAlexWikidataFDO

Authors Giulio Manzonetto, Domenico Ruoppolo

Publication date 13 May 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2014.10.014

zbMATH Keywords

linear logiclambda calculusTaylor expansiondifferential netsextensional Böhm trees

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Relational graph models at work
• New results on Morris's observational theory: the benefits of separating the inseparable
• Graph lambda theories
• Isomorphism and equational equivalence of continuous \(\lambda\)-models
• Uniformity and the Taylor expansion of ordinary lambda-terms

Cites work

• scientific article; zbMATH DE number 3523517 (Why is no real title available?)
• scientific article; zbMATH DE number 3550683 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A General Class of Models of $\mathcal{H}^*$
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• A category theoretic formulation for Engeler-style models of the untyped \(\lambda\)-calculus
• A characterization of the Taylor expansion of \(\lambda\)-terms
• Algebras and combinators
• Böhm's theorem for resource lambda calculus through Taylor expansion
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• Intersection types for \(\lambda\)-trees
• Intuitionistic differential nets and lambda-calculus
• Logical Approaches to Computational Barriers
• Not Enough Points Is Enough
• On the characterization of models of \(\mathcal{H}^*\)
• The differential lambda-calculus
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The parametric lambda calculus. A metamodel for computation.
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• Uniformity and the Taylor expansion of ordinary lambda-terms
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?

Cited in

(5)

• New results on Morris's observational theory: the benefits of separating the inseparable
• Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
• scientific article; zbMATH DE number 7566060 (Why is no real title available?)
• Relational graph models at work
• scientific article; zbMATH DE number 7204439 (Why is no real title available?)

This page was built for publication: Relational graph models, Taylor expansion and extensionality

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