Bar Induction is Compatible with Constructive Type Theory.
| Autor: | RAHLI, VINCENT1 vincent.rahli@gmail.com, BICKFORD, MARK2 markb@cs.cornell.edu, COHEN, LIRON2 lironcohen@cornell.edu, CONSTABLE, ROBERT L.2 rc@cs.cornell.edu |
|---|---|
| Zdroj: | Journal of the ACM. Apr2019, Vol. 66 Issue 2, p1-35. 35p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|