Discover open access scientific publications

Search, annotate, share and cite publications

Publications by A.S. Troelstra

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic

English