Linear Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Cambridge University Press

9780521608572, 9780511550850
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Slicing Polarized Additive Normalization

2004 ◽  
pp. 247-282 ◽  
Author(s):  
Olivier Laurent ◽  
Lorenzo Tortora de Falco

scholarly journals Category Theory for Linear Logicians

2004 ◽  
pp. 3-64 ◽  
Author(s):  
Richard Blute ◽  
Philip Scott
Keyword(s):  
Category Theory

An Introduction to Uniformity in Ludics

2004 ◽  
pp. 236-246
Author(s):  
Claudia Faggian ◽  
Marie-Renée Fleury-Donnadieu ◽  
Myriam Quatrini
Load More ...
Sign in / Sign up

Export Citation Format

Share Document