This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
J. Barwise (ed.) (1977) Handbook of Mathematical Logic, Studies in Logic and Foundations of Mathematics, North-Holland.
K. Bimbó (2005) Types of I-free hereditary right maximal terms. Journal of Philosophical Logic 34 (5-6) 607–620.
S. Broda , L. Damas , M. Finger and P. S. Silva e Silva (2004) The decidability of a fragment of BB′IW-logic. Theoretical Computer Science 318 (3) 373–408.
M. W. Bunder (1996) Lambda Terms Definable as Combinators. Theoretical Computer Science 169 (1) 3–21.
J. B. Kruskal (1972) The theory of well-quasi-ordering: A frequently discovered concept. Journal of Combinatorial Theory, Series A 13 (3) 297–305.
P.-A. Melliès (1998) On a duality between Kruskal and Dershowitz theorems. In: K. G Larsen , S. Skyum and G. Winskel (eds.) ICALP. Springer-Verlag Lecture Notes in Computer Science 1443 518–529.
P. Trigg , J. R. Hindley and M. W. Bunder (1994) Combinatory abstraction using B, B′ and friends. Theoretical Computer Science 135 (2) 405–422.