The Hardest Problem in Type Theory – Computerphile



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
APA

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/

MLA
" » 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/
HARVARD
Computerphile | 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/>
VANCOUVER
Computerphile | 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.

You must be logged in to translate posts. Please log in or register.

Related Posts