Student Project: Property Type Systems
“Property Type Systems” by Florian Lanzinger. May 2020. Visiting PhD student (September to November 2022); PhD student at KIT, supervised by Mattias Ulbrich; previously MASc student, co-advised with Mattias Ulbrich, KIT (May 2020 to February 2021).
BibTeX entry:
@unpublished{FlorianLanzinger21,
author = {Florian Lanzinger},
title = {{Property Type Systems}},
month = may,
note = {Visiting PhD student (September to November 2022); PhD student
at KIT, supervised by Mattias Ulbrich; previously MASc student,
co-advised with Mattias Ulbrich, KIT (May 2020 to February 2021)}
}
Back to the student projects sorted by date or by category.
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
(This webpage was created with bibtex2web.)