Proof nets and the linear substitution calculus

DOI10.1007/978-3-030-02508-3_3OpenAlexW2885468325MaRDI QIDQ1623116

Beniamino Accattoli

Publication date: 23 November 2018

Full work available at URL: https://arxiv.org/abs/1808.03395

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (6)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ Node Replication: Theory And Practice ⋮ Tight typings and split bounds, fully developed ⋮ Unnamed Item ⋮ The spirit of node replication ⋮ A Fresh Look at the λ-Calculus

This page was built for publication: Proof nets and the linear substitution calculus