> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics Beteiligte: Kammar, Ohad; McDermott, Dylan Erschienen: Elsevier BV, 2018 Erschienen in: Electronic Notes in Theoretical Computer Science, 341 (2018), Seite 239-260 Sprache: Englisch DOI: 10.1016/j.entcs.2018.11.012 ISSN: 1571-0661 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang