A Taste of Type Theory • Bartosz Milewski • YOW! 2019



This content originally appeared on GOTO Conferences and was authored by GOTO Conferences


This content originally appeared on GOTO Conferences and was authored by GOTO Conferences


Print Share Comment Cite Upload Translate Updates
APA

GOTO Conferences | Sciencx (2022-12-18T13:00:00+00:00) A Taste of Type Theory • Bartosz Milewski • YOW! 2019. Retrieved from https://www.scien.cx/2022/12/18/a-taste-of-type-theory-bartosz-milewski-yow-2019/

MLA
" » A Taste of Type Theory • Bartosz Milewski • YOW! 2019." GOTO Conferences | Sciencx - Sunday December 18, 2022, https://www.scien.cx/2022/12/18/a-taste-of-type-theory-bartosz-milewski-yow-2019/
HARVARD
GOTO Conferences | Sciencx Sunday December 18, 2022 » A Taste of Type Theory • Bartosz Milewski • YOW! 2019., viewed ,<https://www.scien.cx/2022/12/18/a-taste-of-type-theory-bartosz-milewski-yow-2019/>
VANCOUVER
GOTO Conferences | Sciencx - » A Taste of Type Theory • Bartosz Milewski • YOW! 2019. [Internet]. [Accessed ]. Available from: https://www.scien.cx/2022/12/18/a-taste-of-type-theory-bartosz-milewski-yow-2019/
CHICAGO
" » A Taste of Type Theory • Bartosz Milewski • YOW! 2019." GOTO Conferences | Sciencx - Accessed . https://www.scien.cx/2022/12/18/a-taste-of-type-theory-bartosz-milewski-yow-2019/
IEEE
" » A Taste of Type Theory • Bartosz Milewski • YOW! 2019." GOTO Conferences | Sciencx [Online]. Available: https://www.scien.cx/2022/12/18/a-taste-of-type-theory-bartosz-milewski-yow-2019/. [Accessed: ]
rf:citation
» A Taste of Type Theory • Bartosz Milewski • YOW! 2019 | GOTO Conferences | Sciencx | https://www.scien.cx/2022/12/18/a-taste-of-type-theory-bartosz-milewski-yow-2019/ |

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