The naturality of natural deduction (II). Some remarks on atomic polymorphism

From MaRDI portal

Publication:6324392

Jump to:navigation, search

arXiv1908.11353MaRDI QIDQ6324392

Mattia Petrolo, Luca Tranchini, Paolo Pistone

Publication date: 29 August 2019

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

This page was built for publication: The naturality of natural deduction (II). Some remarks on atomic polymorphism

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6324392&oldid=35921918"