Utilitarisme et christianisme: une triple mise en perspective

L'auteur esquisse la relation de l'utilitarisme et du christianisme sous l'angle triple des rapports entre le bien et le salut, le sacrifice et le sujet, la souffrance réduite ou affrontée. Le trépied ainsi proposé ne constitue pas une cage de fer, à laquelle toute comparaison et toute lecture devraient se soumettre ou se refuser, mais seulement une possible structure de dialogue et de débat, devant faciliter et fructifier l'interpellation réciproque de la morale utilitariste et de l'éthique chrétienne.

A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available