Type Theory Forall

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

Jan 7, 2025
Ask episode
Chapters
Transcript
Episode notes