Skip to content

LaTeX source for Sized Dependent Types via Extensional Type Theory

License

Notifications You must be signed in to change notification settings

ionathanch/msc-thesis

 
 

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

Resources

License

Stars

Watchers

Forks

Languages

  • TeX 97.4%
  • Agda 2.1%
  • Coq 0.5%