@tito @joey Sorry yes, I meant to say "polymorphic dependent type theory". It's one of the last chapters in the book (and it has prerequesites on multiple earlier chapters that I already can't understand)
=> More informations about this toot | View the thread | More toots from julesh@mathstodon.xyz
=> View tito@sciences.re profile | View joey@mathstodon.xyz profile
text/geminiThis content has been proxied by September (3851b).