Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

#47 The History of LCF, ML and HOPE - David MacQueen | Type Theory Forall | Podwise

Podcast Cover

07 Jan 2025

2h 5m

#47 The History of LCF, ML and HOPE - David MacQueen

Type Theory Forall

Type Theory Forall - #47 The History of LCF, ML and HOPE - David MacQueen

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval