https://github.com/unimath/universe_polymorphic_type_system

Voevodsky's notes from the summer of 2012 on a design of a universe polymorphic type system with Tarski universes
https://github.com/unimath/universe_polymorphic_type_system

Last synced: 9 days ago
JSON representation

Voevodsky's notes from the summer of 2012 on a design of a universe polymorphic type system with Tarski universes

• Host: GitHub
• URL: https://github.com/unimath/universe_polymorphic_type_system
• Owner: UniMath
• Created: 2014-06-14T15:56:08.000Z (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2014-06-15T08:24:19.000Z (almost 12 years ago)
• Last Synced: 2025-03-08T23:07:40.621Z (about 1 year ago)
• Homepage:
• Size: 383 KB
• Stars: 9
• Watchers: 2
• Forks: 4
• 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.