> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Video Titel: Algebraic models of simple type theories: a polynomial approach: Q/A Session E - Paper E5.D Beteiligte: Arkor, Nathanael [VerfasserIn] Erschienen: [Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020 Erschienen in: Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020) Umfang: 1 Online-Ressource (42 MB, 00:25:22:25) Sprache: Englisch DOI: 10.5446/49311 Identifikator: Entstehung: Anmerkungen: Audiovisuelles Material Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Namensnennung - Nicht kommerziell (CC BY-NC)