scholarly journals Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications

2021 ◽  
Vol 353 ◽  
Author(s):  
Ugo Dal Lago ◽  
Valeria de Paiva
Keyword(s):  
Linear Logic ◽  
International Workshop

scholarly journals Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications

2019 ◽  
Vol 292 ◽  
Author(s):  
Thomas Ehrhard ◽  
Maribel Fernández ◽  
Valeria de Paiva ◽  
Lorenzo Tortora de Falco
Keyword(s):  
Linear Logic ◽  
International Workshop
Sign in / Sign up

Export Citation Format

Share Document