Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Fredrik Dahlqvist

Original record
Institution
Imperial College London
Year
2015
Country
United Kingdom
MGP identifier
210880

Dissertation: Completeness-via-canonicity for coalgebraic logics

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy