LNL-FPC: the linear/non-linear fixpoint calculus

MaRDI QIDQ4989404FDOQ4989404

Authors: Bert Lindenhovius, Vladimir Zamdzhiev, Michael Mislove 

Publication date: 25 May 2021

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

Recommendations

• Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
• scientific article; zbMATH DE number 2079022
• Enriching an Effect Calculus with Linear Types
• Categorical models of linear logic with fixed points of formulas
• The best of both worlds: linear functional programming without compromise

zbMATH Keywords

categorical semanticsrecursive typesintuitionistic linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Practical affine types
• Title not available (Why is that?)
• The Category-Theoretic Solution of Recursive Domain Equations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Computational interpretations of linear logic
• Relational properties of domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Applying quantitative semantics to higher-order quantum computing
• Title not available (Why is that?)
• Algebraic specification of data types: A synthetic approach
• Linear logic propositions as session types
• Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
• A general adequacy result for a linear functional language
• Presheaf models of quantum computation: an outline
• On Finitary Functors and Their Presentations
• Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
• Title not available (Why is that?)
• Quantum programming with inductive datatypes: causality and affine type theory
• The best of both worlds: linear functional programming without compromise

Cited In (8)

• Semantics for a lambda calculus for string diagrams
• Gradual type theory
• Title not available (Why is that?)
• Quantum programming with inductive datatypes: causality and affine type theory
• Quantum Suplattices
• Title not available (Why is that?)
• Quantum CPOs
• Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction

Uses Software

• Alms

This page was built for publication: LNL-FPC: the linear/non-linear fixpoint calculus

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