Rob Nederpelt

A Modern Perspective on Type Theory: From its Origins until Today

2005 · ENGLISH · DJVU

View details →

A Modern Perspective on Type Theory: From its Origins until Today

2005 · ENGLISH · DJVU

View details →

A Modern Perspective on Type Theory: From its Origins until Today

2005 · ENGLISH · PDF

View details →

A Modern Perspective on Type Theory: From its Origins until Today

2004 · ENGLISH · PDF

View details →