> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Deductive Systems and Coherence for Skew Prounital Closed Categories Beteiligte: Uustalu, Tarmo; Veltri, Niccolò; Zeilberger, Noam Erschienen: Open Publishing Association, 2021 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 332 (2021), Seite 35-53 Sprache: Englisch DOI: 10.4204/eptcs.332.3 ISSN: 2075-2180 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang