Mathematical Logic Foundations

Research Frontiers in Existential Types and Type Abstraction

Investigates existential quantification over types, analyzing data abstraction, modules, and information hiding through existential type mechanisms.

All Mathematical Logic & Foundations PhD categories