https://github.com/unimath/old_notes_on_type_systems

Voevodsky's notes on type systems. This version contains more material than the one on his website.
https://github.com/unimath/old_notes_on_type_systems

Last synced: 9 days ago
JSON representation

Voevodsky's notes on type systems. This version contains more material than the one on his website.

• Host: GitHub
• URL: https://github.com/unimath/old_notes_on_type_systems
• Owner: UniMath
• Created: 2014-06-14T15:47:13.000Z (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2014-06-15T08:23:41.000Z (almost 12 years ago)
• Last Synced: 2025-03-08T23:07:41.132Z (about 1 year ago)
• Homepage:
• Size: 563 KB
• Stars: 7
• Watchers: 2
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

          
This is a paper of mine which is in a highly unfinished and chaotic state but contains useful and coherent text segments.