scientific article; zbMATH DE number 7439429

zbMath1477.68071arXiv1502.04772MaRDI QIDQ5015212

Edward Gan, Jesse A. Tov, Greg Morrisett

Publication date: 6 December 2021

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Modular Inference of Linear Types for Multiplicity-Annotated Arrows

Uses Software

• Alms

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Computational interpretations of linear logic
• A step-indexed model of substructural state
• Qualified Types
• Reference counting as a computational interpretation of linear logic
• Lolliproc
• Linear type theory for asynchronous session types
• Practical affine types

This page was built for publication: