scientific article; zbMATH DE number 7440187

zbMath1486.03093arXiv1606.06387MaRDI QIDQ5015364

José Espírito Santo

Publication date: 7 December 2021

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

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

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Cites Work

• The duality of computation
• Normalization theorems for full first order classical natural deduction
• Unnamed Item
• Unnamed Item

This page was built for publication: