Introduction to Type Theory

Learning Pathways

Types vs. sets (and what about categories?)

L Paulson

lawrencecpaulson.github.io

ARTICLE

Type Theory

2018Stanford Encyclopedia of Philosophy

ARTICLE

Constructive mathematics and computer programming

P. Martin-Löf

1984Phil. Trans. R. Soc. Lond. A

PAPER

The Calculus of Constructions

T. Coquand, G. Huet

1988Inf. Comput.

PAPER

On Logical Formalisms

L Paulson

lawrencecpaulson.github.io

ARTICLE

Help

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

The short link for this pathway is:

www.learning-pathways.org/FN6ZJ1

This pathway can also be accessed at:

www.learning-pathways.org/pathway/t9k9g8e5p9/introduction-to-type-theory