Home
Work
Team
Events
Blog
Get Involved
Deriving Theorems in Implicational Linear Logic, Declaratively
Authors
Paul Tarau
Valeria de Paiva
Doi
10.4204/EPTCS.325.18