%0 Journal Article
%A Claudio Bernardi
%A Franco Montagna
%T Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
%J Fundamenta Mathematicae
%D 1984
%P 221-233
%V 124
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-124-3-221-233/
%R 10.4064/fm-124-3-221-233
%G en
%F 10_4064_fm_124_3_221_233