Media type: E-Book; Thesis Title: On confluence and semantic full abstraction of lambda calculus languages Other titles: Übersetzung des Haupttitels: Über Konfluenz und semantische vollständige Abstraktion von Lambda-Kalkül-Sprachen Contributor: Müller, Fritz [VerfasserIn] imprint: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, Mai 2016 Extent: 1 Online-Ressource (165 Seiten) Language: English Identifier: Keywords: Lambda-Kalkül ; Funktionale Programmiersprache ; Semantischer Bereich ; Hochschulschrift Origination: University thesis: Dissertation, Saarbrücken, Universität des Saarlandes, 2016 Footnote: Access State: Open Access