scientific article; zbMATH DE number 7441266

zbMath1483.68130arXiv1701.04918MaRDI QIDQ5014809

Stefano Guerrini

Publication date: 8 December 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40) Other nonclassical models of computation (68Q09)

Cites Work

• An equivalence between lambda- terms
• Classical By-Need
• Linear Logic and Strong Normalization
• The Structural λ-Calculus

This page was built for publication: