Substructural parametricity

Cites work

\(L^3\): a linear language with locations
A logical framework with commutative and non-commutative subexponentials
A mixed linear and graded logic: proofs, terms, and models
A step-indexed model of substructural state
Adjoint natural deduction
Behavioral polymorphism and parametricity in session-based communication
Contextual modal type theory
Fundamental concepts in programming languages
scientific article; zbMATH DE number 4035108 (Why is no real title available?)
scientific article; zbMATH DE number 4055576 (Why is no real title available?)
scientific article; zbMATH DE number 1342286 (Why is no real title available?)
scientific article; zbMATH DE number 2079022 (Why is no real title available?)
Hybridizing a logical framework
Iris from the ground up: a modular foundation for higher-order concurrent separation logic
Iris: monoids and invariants as an orthogonal basis for concurrent reasoning
Kripke semantics for modal substructural logics
Linear dependent type theory for quantum programming languages: extended abstract
Linear logical relations and observational equivalences for session-based concurrency
Linear logical relations for session-based concurrency
Linear type theory for asynchronous session types
Relational semantics and a relational proof system for full Lambek calculus
Session types as intuitionistic linear propositions
State-dependent representation independence
Syntax and semantics of quantitative type theory
The Logic of Bunched Implications
The Mathematics of Sentence Structure
Well-founded recursion with copatterns and sized types

This page was built for publication: Substructural parametricity

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