Wikipedia Pages Linking to typetheorypodcast.com
Per Martin-Löf
View on Wikipedia
1 links on this page
Loading...
Wikipedia Links
http://typetheorypodcast.com/2014/08/episode-1-peter-dybjer-on-type-theory-and-testing/#t=13:39.062
Anchor text: Peter Dybjer on types and testing – The Type Theory Podcast