Geometrical semantics for linear logic (multiplicative fragment)
Sergey SlavnovVolume:
357
Year:
2006
Language:
english
Pages:
15
DOI:
10.1016/j.tcs.2006.03.020
File:
PDF, 227 KB
english, 2006