Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Pedro Rocha

Original record
Institution
Universidade Nova de Lisboa
Year
2022
Country
Portugal
MGP identifier
292235

Dissertation: CLASS: A Logical Foundation For Typeful Programming With Shared State

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy