Tarau, Paul Deriving efficient sequential and parallel generators for closed simply-typed lambda terms and normal forms. (English) Zbl 1497.68088 Fundam. Inform. 177, No. 3-4, 385-415 (2020). MSC: 68N17 03B40 PDFBibTeX XMLCite \textit{P. Tarau}, Fundam. Inform. 177, No. 3--4, 385--415 (2020; Zbl 1497.68088) Full Text: DOI
Liang, Chuck; Nadathur, Gopalan; Qi, Xiaochu Choices in representation and reduction strategies for lambda terms in intensional contexts. (English) Zbl 1102.68019 J. Autom. Reasoning 33, No. 2, 89-132 (2004). MSC: 68N18 03B35 03B40 PDFBibTeX XMLCite \textit{C. Liang} et al., J. Autom. Reasoning 33, No. 2, 89--132 (2004; Zbl 1102.68019) Full Text: DOI
de Swart, H. C. M. Logic: mathematics, language, computer science and philosophy. Vol. 2: Logic and computer science. (English) Zbl 0805.03002 Frankfurt/M.: P. Lang, Europ. Verlag der Wiss. xii, 337 p. (1994). Reviewer: A.M.Coyne (Asheville) MSC: 03-01 68-01 PDFBibTeX XMLCite \textit{H. C. M. de Swart}, Logic: mathematics, language, computer science and philosophy. Vol. 2: Logic and computer science. Frankfurt/M.: P. Lang, Europ. Verlag der Wiss. (1994; Zbl 0805.03002)