DLC marc2bibframe2 v2.2.1
2024-03-29T06:52:37.156+01:00
new
isbd
1200209680
DE-101
2021-06-18T16:28:49
2019-11-22
1200209680
DE-101
1140
9999
text
Academic theses
004.01
DE-101
23kdnb
1001 $81\p$0(DE-588)120022647X$0https://d-nb.info/gnd/120022647X$0(DE-101)120022647X$aBessai, Jan$d1988-$eVerfasser$4aut$2gnd
Bessai, Jan 1988-
120022647X
DE-588
120022647X
DE-101
gnd
Verfasser
A type-theoretic framework for software component synthesis
Text
Dissertation
Dortmund, Technische Universität
2019
Epitonium
Epitonium
lcsh
sh88020981
DLC
Algebra
Algebra
lcsh
sh85003425
DLC
Kombinatorische Logik
Kombinatorische Logik
gnd
Universelle Algebra
Universelle Algebra
gnd
Scala <Programmiersprache>
Scala <Programmiersprache>
gnd
Component oriented synthesis
Combinatory logic
Intersection types
Algebra
Scala
Coq
7001 $aRehof, Jakob$eAkademischer Betreuer$4dgs
Rehof, Jakob
Akademischer Betreuer
7001 $aHeineman, George T.$eGutachter$4oth
Heineman, George T.
Gutachter
2019
Dortmund
Universitätsbibliothek Dortmund
2019
Dortmund: Universitätsbibliothek Dortmund; 2019
19,O12
dnb
2003/38387
urn:nbn:de:101:1-2019112202434444946228
DNB1200209680
1137067828
Jan Bessai ; Gutachter: George T. Heineman ; Betreuer: Jakob Rehof
A type-theoretic framework for software component synthesis
Online-Ressource
Computermedien
Online-Ressource
Archivierung/Langzeitarchivierung gewährleistet
pdager
DE-101
https://hdl.handle.net/2003/38387
https://nbn-resolving.org/urn:nbn:de:101:1-2019112202434444946228
https://d-nb.info/1200209680/34
http://hdl.handle.net/2003/38387
kostenfrei