Resourceful Dependent Types, Andreas Abel
A short note about generalizing Quantitative Type Theory
cse.chalmers.se/~abela/types18
Conversation
Replying to
Yeah, I'm okay with other provers going first on fundamental things like this and testing the water for us :)
3