Linear Logic and Constructive Mathematics

Author

Valeria de Paiva

Published

April 21, 2021