That online course model would be a good way to finalize the textbook before publication.<p>There are needed changes to specific verbs which relate to the implementation of lambda calculus.  The subject matter scope is sufficient and precise; but the permutation of topics might not be optimal.  I think it is wise for the authors to invite collaboration with sincerity.