diff options
| author | Eduardo Julian | 2020-12-04 01:13:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-04 01:13:01 -0400 |
| commit | 8df63aae42c40ac0413ccfacc3b2e8eb72e00a15 (patch) | |
| tree | 5e1eb6833398b8a67a2e3d0db4a615204a25f80f /documentation/bookmark/Type theory/Dependent types.md | |
| parent | 0205e5146b50ab066d152fccda0fc8cef4eef852 (diff) | |
Re-named old luxc-jvm to lux-bootstrapper.
Diffstat (limited to '')
| -rw-r--r-- | documentation/bookmark/Type theory/Dependent types.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/bookmark/Type theory/Dependent types.md b/documentation/bookmark/Type theory/Dependent types.md index 8269310db..9f8700676 100644 --- a/documentation/bookmark/Type theory/Dependent types.md +++ b/documentation/bookmark/Type theory/Dependent types.md @@ -5,6 +5,7 @@ # Reference +1. [Program = Proof](http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf) 1. [Multimodal Dependent Type Theory](https://arxiv.org/abs/2011.15021) 1. [Thorsten Altenkirch - The power of Π - Lambda Days 2020](https://www.youtube.com/watch?v=3zT5eVHpQwA) 1. [A Path To DOT: Formalizing Fully Path-Dependent Types](https://arxiv.org/abs/1904.07298) |