Relational graph models at work

DOI10.23638/LMCS-14(3:2)2018zbMATH Open1448.68207arXiv1703.10382MaRDI QIDQ4580329FDOQ4580329

Giulio Manzonetto, Flavien Breuvart, Domenico Ruoppolo

Publication date: 15 August 2018

Full work available at URL: https://arxiv.org/abs/1703.10382

Recommendations

• New results on Morris's observational theory: the benefits of separating the inseparable
• Relational graph models, Taylor expansion and extensionality
• On the characterization of models of \(\mathcal H^\ast\): the semantical aspect
• On the characterization of models of \(\mathcal{H}^*\)
• Graph lambda theories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Cites Work

• Domain theory in logical form
• Nondeterministic extensions of untyped \(\lambda\)-calculus
• Title not available (Why is that?)
• Non-determinism, Non-termination and the Strong Normalization of System T
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Title not available (Why is that?)
• Not Enough Points Is Enough
• Data Types as Lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Essential and relational models
• A semantic measure of the execution time in linear logic
• Logical Approaches to Computational Barriers
• The parametric lambda calculus. A metamodel for computation.
• 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
• Relational graph models, Taylor expansion and extensionality
• 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 General Class of Models of $\mathcal{H}^*$
• Some reasons for generalising domain theory
• 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 H
• Title not available (Why is that?)
• Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
• A filter lambda model and the completeness of type assignment
• Graph lambda theories
• Title not available (Why is that?)
• Normal functors, power series and \(\lambda\)-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• Approximate Reduction and Lambda Calculus Models
• Intensional interpretations of functionals of finite type I
• A relational semantics for parallelism and non-determinism in a functional setting
• A Filter Model for Concurrent $\lambda$-Calculus
• The lambda calculus is algebraic
• The cartesian closed bicategory of generalised species of structures
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Linearity, Non-determinism and Solvability
• Call-by-Value Non-determinism in a Linear Logic Type Discipline
• The Calculi of Lambda Conversion. (AM-6)
• Exponentials with Infinite Multiplicities
• Title not available (Why is that?)
• Title not available (Why is that?)
• Models of the lambda calculus
• An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
• Title not available (Why is that?)
• Call-by-push-value: Decomposing call-by-value and call-by-name
• Confluence of Pure Differential Nets with Promotion
• A Semantical and Operational Account of Call-by-Value Solvability
• Constructive proofs of the range property in lambda calculus
• Characterization theorems for a filter lambda model
• Parametric \(\lambda \)-theories
• The Lattice of Lambda Theories
• Copatterns
• Title not available (Why is that?)
• Practical coinduction
• Title not available (Why is that?)
• Weighted Relational Models of Typed Lambda-Calculi
• Loader and Urzyczyn Are Logically Related
• Nonmodularity results for lambda calculus
• On the characterization of models of \(\mathcal H^\ast\): the semantical aspect
• Effective λ-models versus recursively enumerable λ-theories
• Title not available (Why is that?)
• The Resource Lambda Calculus Is Short-Sighted in Its Relational Model
• New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.

Cited In (2)

• Title not available (Why is that?)
• Non-idempotent intersection types in logical form

This page was built for publication: Relational graph models at work

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