A new deconstructive logic: Lineair Logic

Research output: Contribution to journal › Article › Academic › peer-review

Keywords

@article{0611c2ecb7ca4e3696c53b16c111533a,

title = "A new deconstructive logic: Lineair Logic",

keywords = "Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "H. Schellinx and V. Danos and J.-B. Joinet",

year = "1997",

language = "Undefined/Unknown",

volume = "62",

pages = "755--807",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

}