en.wikipedia.org/wiki/Dependent_type

URL title: Dependent type - Wikipedia
URL last crawled: 2022-05-23
URL speed: 2.340 MB/s, downloaded in 0.070 seconds

open external url

6 external links to this url

Only links from external domains are shown on this page.