Adjoint natural deduction

DOI10.4230/LIPICS.FSCD.2024.15MaRDI QIDQ6874998zbMATH OpenFDO

Authors Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka

Publication date 14 January 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2024.15

zbMATH Keywords

functional programmingsubstructural logictype systems

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A framework for substructural type systems
• A judgmental reconstruction of modal logic
• A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
• A logical framework with commutative and non-commutative subexponentials
• A message-passing interpretation of adjoint logic
• A theory of effects and resources: adjunction models and polarised calculi
• Adjoint logic with a 2-category of modes
• An extended framework for specifying and reasoning about proof systems
• Back to futures
• Call-by-push-value: Decomposing call-by-value and call-by-name
• Classical and intuitionistic subexponential logics are equally expressive
• Computational interpretations of linear logic
• Computational types from a logical perspective
• Distilling abstract machines
• Efficient resource management for linear logic proof search
• Graded modal dependent type theory
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 3679159 (Why is no real title available?)
• scientific article; zbMATH DE number 512773 (Why is no real title available?)
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• scientific article; zbMATH DE number 1078585 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 7204444 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Linear logic
• Linear logic propositions as session types
• Logic Programming with Focusing Proofs in Linear Logic
• Natural deduction for intuitionistic linear logic
• Practical affine types
• Practical foundations for programming languages
• Propositions as sessions
• Resourceful program synthesis from graded linear types
• Session types as intuitionistic linear propositions
• Syntax and semantics of quantitative type theory
• The calculi of lambda-conversion.

Cited in

(1)

• A mixed linear and graded logic: proofs, terms, and models

This page was built for publication: Adjoint natural deduction

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