Episode 1: Peter Dybjer on types and testing

Aug 13, 2014

Episode 1: Peter Dybjer on types and testing

The Type Theory Podcast

Information

Show: The Type Theory Podcast
Published: August 13, 2014
Language: EN-US
Author: The Type Theory Podcast
Categories: science natural

Discover

Find new listens