Interests: FP, PLT, CAS, MathLogic, Set Theory, Cat. Theory, DiffGeometry, QG, AdS/CFT, BH Thermodynamics and cat owner
This profile is from a federated server and may be incomplete. View on remote instance
Interests: FP, PLT, CAS, MathLogic, Set Theory, Cat. Theory, DiffGeometry, QG, AdS/CFT, BH Thermodynamics and cat owner
This profile is from a federated server and may be incomplete. View on remote instance