Relational graph models, Taylor expansion and extensionality

DOI10.1016/J.ENTCS.2014.10.014zbMATH Open1337.03022OpenAlexW2115393058WikidataQ113317840 ScholiaQ113317840MaRDI QIDQ283769FDOQ283769

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

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

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)

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• New results on Morris's observational theory: the benefits of separating the inseparable
• Relational graph models at work
• Title not available (Why is that?)

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)