No label defined (Q6190869)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7800870

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7800870

Statements

scholarly article

0 references

Bas van den Heuvel

0 references

Jorge A. Pérez

0 references

publication date

6 February 2024

0 references

full work available at URL

https://arxiv.org/abs/2209.06820

0 references

https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?EXPSOS22.5

0 references

MaRDI profile type

MaRDI publication profile

0 references

Session Types as Intuitionistic Linear Propositions

0 references

Linear logic propositions as session types

0 references

A new linear logic for deadlock-free session-typed processes

0 references

Comparing type systems for deadlock freedom

0 references

Linear type theory for asynchronous session types

0 references

On the unity of logic

0 references

Towards a unified approach to encodability and separation results for process calculi

0 references

MULTILISP: a language for concurrent symbolic computation

0 references

A New Type System for Deadlock-Free Processes

0 references

Prioritise the best variation

0 references

A Semantics for Propositions as Sessions

0 references

0 references

Deadlock and lock freedom in the linear π-calculus

0 references

Types for Deadlock-Free Higher-Order Programs

0 references

Lenient evaluation and parallelism

0 references

Propositions as sessions

0 references

Identifiers

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6190869

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6190869&oldid=37628370"