Return to search

The logic of bunched implications : a memoir /

Thesis (M.Comp.Sci.)--University of Melbourne, Dept. of Computer Science and Software Engineering, 2007. / Typescript. Includes bibliographical references (leaves 109-116).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/225503163
Date January 2007
CreatorsHorsfall, Benjamin Robert.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceConnect to thesis

Page generated in 0.0017 seconds