scientific article; zbMATH DE number 7350775

MaRDI QIDQ4989404

Vladimir Zamdzhiev, Bert Lindenhovius, Michael W. Mislove

Publication date: 25 May 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

categorical semanticsrecursive typesintuitionistic linear logic

Mathematics Subject Classification ID

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

Related Items (5)

Quantum Suplattices ⋮ Quantum programming with inductive datatypes: causality and affine type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Gradual type theory

Uses Software

• Alms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Computational interpretations of linear logic
• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
• A general adequacy result for a linear functional language
• Relational properties of domains
• Quantum programming with inductive datatypes: causality and affine type theory
• On Finitary Functors and Their Presentations
• The best of both worlds: linear functional programming without compromise
• Algebraic specification of data types: A synthetic approach
• The Category-Theoretic Solution of Recursive Domain Equations
• Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion
• Presheaf Models of Quantum Computation: An Outline
• Enriching a Linear/Non-linear Lambda Calculus
• Applying quantitative semantics to higher-order quantum computing
• Practical affine types
• Linear logic propositions as session types

This page was built for publication: