Games semantics for linear logic
Lafont, Y., Streicher, T.
Published in [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science (1991)
Published in [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science (1991)
Get full text
Conference Proceeding
PREPARATION EN CONTINU D'ESTERS PHTALIQUES DE GLYCOLS
ANTOINE GIRANTET, PHILIPPE Y. TARBOURIECH, PIERRE Y. A. LAFONT, JEAN F. ROGET
Year of Publication 05.09.1967
Get full text
Year of Publication 05.09.1967
Patent