Datasets
- 1 results
Search results
-
Artifact associated with "A Dependent Dependency Calculus"
Choudhury, P. (Creator), Harley, E. I. (Creator) & Weirich, S. (Creator), ZENODO, Jan 25 2022
DOI: 10.5281/zenodo.5903727, https://zenodo.org/records/5903727
Dataset