A categorical logic for information systems

Research output: Contribution to journal › Meeting abstract › peer-review

Access to Document

@article{52ad3098965248cfad8bdb83e3e3622d,

title = "A categorical logic for information systems",

author = "Michael Johnson",

year = "1996",

doi = "10.1093/jigpal/4.3.473",

language = "English",

volume = "4",

pages = "502--504",

journal = "Logic Journal of the IGPL",

issn = "1367-0751",

publisher = "Oxford University Press",

number = "3",

}