> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: An extended type system with lambda-typed lambda-expressions Beteiligte: Matthias Weber Erschienen: 2020 Erschienen in: Logical Methods in Computer Science Sprache: Englisch DOI: 10.23638/LMCS-16(4:12)2020 ISSN: 1860-5974 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang