Welcome to your learning pathway, "Introduction to Type Theory".
You can add new resources by clicking the button.
To add a scientific paper (research article), paste its title, then hit Return. The paper will be identified using Semantic Scholar so that you don't have to type in the year, authors, journal or abstract.
To add a web page, paste its URL and Learning Pathways will fetch the page title for you. You may need to edit the title if it is not correct.
Click on a resource to see details about it, or to edit it. Using the buttons at the bottom of the page, resources can be re-ordered and section headings can be added.
Connection and sharing options: Introduction to Type Theory
