Constructive Modal and Linear Logics

Author

Valeria de Paiva

Published

December 2, 2021