Download: PDF.

“Universe Types: Topology, Encapsulation, Genericity, and Tools” by W. Dietl. July 2010. Summary of my thesis published in the 2009 GI Outstanding Dissertation Award proceedings. Available in German only.

Abstract

Available in German only. See [DietlPhD09].

Keywords: Universe types, UTS, GUT

Download: PDF.

BibTeX entry:

@unpublished{Dietl10a,
   author = {W. Dietl},
   title = {{Universe Types: Topology, Encapsulation, Genericity, and Tools}},
   month = jul,
   note = {Summary of my thesis published in the 2009 GI Outstanding
        Dissertation Award proceedings. Available in German only}
}

Back to the publications by date or by topic.


(This webpage was created with bibtex2web.)