Propositions as sessions
From MaRDI portal
Publication:5168904
DOI10.1145/2364527.2364568zbMath1291.68134OpenAlexW2153557668MaRDI QIDQ5168904
Publication date: 21 July 2014
Published in: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2364527.2364568
Related Items (33)
Multiparty session types as coherence proofs ⋮ On concurrent behaviors and focusing in linear logic ⋮ Mixed Sessions ⋮ Multiparty session types, beyond duality ⋮ I Got Plenty o’ Nuttin’ ⋮ Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) ⋮ Certifying Data in Multiparty Session Types ⋮ Session types revisited ⋮ Comparing type systems for deadlock freedom ⋮ Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Observed Communication Semantics for Classical Processes ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Unnamed Item ⋮ Linear logical relations and observational equivalences for session-based concurrency ⋮ Nested session types ⋮ A linear/producer/consumer model of classical linear logic ⋮ A core model for choreographic programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the Hardness of Proving CCA-Security of Signed ElGamal ⋮ A message-passing interpretation of adjoint logic ⋮ Session Types with Gradual Typing ⋮ Corecursion and Non-divergence in Session-Typed Processes ⋮ COCHIS: Stable and coherent implicits ⋮ Mixed sessions ⋮ Session Types with Arithmetic Refinements ⋮ Type-Based Analysis for Session Inference (Extended Abstract) ⋮ Unnamed Item ⋮ Polymorphic lambda calculus with context-free session types
This page was built for publication: Propositions as sessions
