reed-thesis icon indicating copy to clipboard operation
reed-thesis copied to clipboard

Published 20 hours ago • verified publisher icon langston-barrett
→

Metadata

My undergradate thesis on coinductive types in univalent type theory

Results 0 reed-thesis issues
Sort by recently updated
recently updated
newest added

← Metadata

15
Stars
0
Forks
Watchers

Owner

verified publisher icon langston-barrett

Metadata

My undergradate thesis on coinductive types in univalent type theory

Back