ion, 18, 67, 81, 82,see also λx.saccept, 114application, 18, 52, 66, 67,115, 126, 131–133,228, 229, 254, 255,257, see also ruleapplicationapproximation, 10, 88, 89,93, 94, 123, 150set-based, 14argument, 87argument context, 76, 76, 77,78 blank symbol, 113, 114 case, 18co-domain, 20, 100, 206combinator, 23fixpoint, 34, 35, 79, 81...

Austral EntomologyVolume 62, Issue 2 p. N1-N46 MYRMECIAFree Access Myrmecia: Volume 59, Part First published: 23 May 2023 https://doi.org/10.1111/aen.12605AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text full-text accessPlease review our Terms and Conditions of Use check box below share version article.I have read accept the Wil...