Jumping Boxes

DOI10.1007/978-3-642-04027-6_7zbMath1257.03038OpenAlexW4242772231MaRDI QIDQ3644740

Beniamino Accattoli, Stefano Guerrini

Publication date: 12 November 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04027-6_7

Mathematics Subject Classification ID

Structure of proofs (03F07) Combinatory logic and lambda calculus (03B40)

Related Items (6)

The Prismoid of Resources ⋮ Unnamed Item ⋮ Jump from parallel to sequential proofs: exponentials ⋮ Proof nets and the call-by-value \(\lambda\)-calculus ⋮ Unnamed Item ⋮ A prismoid framework for languages with resources

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Coherence for sharing proof-nets
• The Theory of Calculi with Explicit Substitutions Revisited
• Jump from Parallel to Sequential Proofs: Multiplicatives
• Proof nets and explicit substitutions

This page was built for publication: Jumping Boxes