Video/Martin-Löf Type Theory-Speaking the Language

From PKC
Jump to navigation Jump to search

Neumann, Jacob (Feb 20, 2021). Martin-Löf Type Theory-Speaking the Language. local page: Jacob Neumann. 


References

Related Pages

Jacob Neumann Jacob Neumann

Retrieved from "https://pkc.pub/index.php?title=Video/Martin-Löf_Type_Theory-Speaking_the_Language&oldid=31638"