- Quick recap of induction on CoC with self types / dependent intersections https://medium.com/@maiavictor/about-induction-on-the-calculus-of-constructions-581fcfdb89c5 4 comments haskell
Linked pages
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- GitHub - Gabriella439/Haskell-Morte-Library: A bare-bones calculus-of-constructions https://github.com/Gabriel439/Haskell-Morte-Library 41 comments
- https://hal.inria.fr/hal-01094195/document 19 comments
- Cedille | cedille.github.io https://cedille.github.io/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:medium.com
Search title: About induction on the Calculus of Constructions | by Victor Maia | Medium
See how to search.