Conference
Mechanizing Synthetic Tait Computability in Istari
| Τίτλος: | Mechanizing Synthetic Tait Computability in Istari |
|---|---|
| Συγγραφείς: | Li, Runming, Yao, Yue, Harper, Robert |
| Πηγή: | Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs. :231-247 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3779031.3779085 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3779031.3779085 |
|---|