The differences between lazy and eager evaluation are discussed in: Granström, J. G. Treatise on Intuitionistic Type Theory. Logic, Epistemology, and the Unity of Science 7. 2011 [2021-10-18]. ISBN 978-94-007-1735-0. (原始内容存档于2014-11-23). See in particular pp. 86–91.
The differences between lazy and eager evaluation are discussed in: Granström, J. G. Treatise on Intuitionistic Type Theory. Logic, Epistemology, and the Unity of Science 7. 2011 [2021-10-18]. ISBN 978-94-007-1735-0. (原始内容存档于2014-11-23). See in particular pp. 86–91.