Users express joy at coauthoring a real type theory paper for the first time through formalizing PhD thesis work with student collaborators.
Based on 1 visible X reactions from 1 accounts; directional sample.
Ask a question below.
Published answers will appear here.
Really the first time I've had the joy of coauthoring a "real" type theory paper also
Some of my awesome Ph.D. students and collaborators helped me finally understand what on earth I was doing in my Ph.D. thesis work in a way that is precise and generalizable. Like, they turned my vibes into a formalization. Just so excited about this https://trey3p.github.io/papers/prt.pdf
(Should be common sense but please do not click this link if you are reviewing for any anonymous venues in my broader research area in the near future)
Really the first time I've had the joy of coauthoring a "real" type theory paper also
Some of my awesome Ph.D. students and collaborators helped me finally understand what on earth I was doing in my Ph.D. thesis work in a way that is precise and generalizable. Like, they turned my vibes into a formalization. Just so excited about this https://trey3p.github.io/papers/prt.pdf
(Should be common sense but please do not click this link if you are reviewing for any anonymous venues in my broader research area in the near future)
Users express joy at coauthoring a real type theory paper for the first time through formalizing PhD thesis work with student collaborators.
Based on 1 visible X reactions from 1 accounts; directional sample.
Ask a question below.
Published answers will appear here.