Dependent type
article-link
What links here
William Alvin Howard
Per Martin-Löf
article-link
List of logicians
article-link
Saunders Mac Lane
article-link
Curry–Howard correspondence
article-link
André Weil
article-link
WikiHQWikiHQWilliam Alvin Howard
article-link
article-link
article-link
article-link
article-link
article-link