Introduction to Functional Programming Through Lambda Calculus Michaelson Greg Heftet / 2011 / Engelsk
Mathematical Reasoning: The History and Impact of the DReaM Group Michaelson Gregory Heftet / 2022 / Engelsk
Mathematical Reasoning: The History and Impact of the DReaM Group Michaelson Gregory Innbundet / 2021 / Engelsk
