Skip to content
 
 

Repository files navigation

Sized Dependent Types via Extensional Type Theory

Graduation Checklist

DEADLINE: 26 August 2022

Helpful Links

About

LaTeX source for Sized Dependent Types via Extensional Type Theory

Topics

Resources

Stars

12 stars

Watchers

0 watching

Forks

Contributors

Languages