- Are there any examples of or sources on "induction on predicates" that can be shared? https://hal.inria.fr/hal-01094195/document 19 comments math
Linking pages
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- About induction on the Calculus of Constructions | by Victor Maia | Medium https://medium.com/@maiavictor/about-induction-on-the-calculus-of-constructions-581fcfdb89c5 4 comments
Related searches:
Search whole site: site:hal.inria.fr
Search title: Are there any examples of or sources on "induction on predicates" that can be shared?
See how to search.