> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: On confluence and semantic full abstraction of lambda calculus languages Weitere Titel: Über Konfluenz und semantische vollständige Abstraktion von Lambda-Kalkül-Sprachen Beteiligte: Müller, Fritz [Verfasser:in]; Wilhelm, Reinhard [Akademische:r Betreuer:in] Erschienen: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2016 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Lambda-Kalkül ; Funktionale Programmiersprache ; Semantischer Bereich ; lambda calculus languages ; confluence ; semantic full abstraction ; PCF ; Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Saarbrücken, Universität des Saarlandes, 2016 Anmerkungen: Zugangsstatus: Freier Zugang