Games and Full Completeness for Multiplicative Linear Logic

Games and Full Completeness for Multiplicative Linear Logic

Show other versions (1)

Bibliographic Details
Main Authors:	Abramsky, S, Jagadeesan, R
Format:	Conference item
Published:	Springer−Verlag 1992

Games and Full Completeness for Multiplicative Linear Logic

Games and Full Completeness for Multiplicative Linear Logic by Abramsky, S, Jagadeesan, R

Published 1994

Conference item