This content originally appeared on Computerphile and was authored by Computerphile
This content originally appeared on Computerphile and was authored by Computerphile
Print
Share
Comment
Cite
Upload
Translate
Updates
There are no updates yet.
Click the Upload button above to add an update.
APA
MLA
Computerphile | Sciencx (2021-07-30T17:38:59+00:00) The Hardest Problem in Type Theory – Computerphile. Retrieved from https://www.scien.cx/2021/07/30/the-hardest-problem-in-type-theory-computerphile/
" » The Hardest Problem in Type Theory – Computerphile." Computerphile | Sciencx - Friday July 30, 2021, https://www.scien.cx/2021/07/30/the-hardest-problem-in-type-theory-computerphile/
HARVARDComputerphile | Sciencx Friday July 30, 2021 » The Hardest Problem in Type Theory – Computerphile., viewed ,<https://www.scien.cx/2021/07/30/the-hardest-problem-in-type-theory-computerphile/>
VANCOUVERComputerphile | Sciencx - » The Hardest Problem in Type Theory – Computerphile. [Internet]. [Accessed ]. Available from: https://www.scien.cx/2021/07/30/the-hardest-problem-in-type-theory-computerphile/
CHICAGO" » The Hardest Problem in Type Theory – Computerphile." Computerphile | Sciencx - Accessed . https://www.scien.cx/2021/07/30/the-hardest-problem-in-type-theory-computerphile/
IEEE" » The Hardest Problem in Type Theory – Computerphile." Computerphile | Sciencx [Online]. Available: https://www.scien.cx/2021/07/30/the-hardest-problem-in-type-theory-computerphile/. [Accessed: ]
rf:citation » The Hardest Problem in Type Theory – Computerphile | Computerphile | Sciencx | https://www.scien.cx/2021/07/30/the-hardest-problem-in-type-theory-computerphile/ |
Please log in to upload a file.
There are no updates yet.
Click the Upload button above to add an update.