Work

\(\pi\) LL: Reconciling Linear Logic, the \(\pi\) -calculus, and their Metatheory

Year: 2026

Type: article

Source: ACM Transactions on Computational Logic

DOI: 10.1145/3844503

Authors: Fabrizio Montesi, Marco Peressotti

Institution: University of Southern Denmark

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7204914242

FWCI:

Cites: 46

Cited by:

Related to: