1. Barendregt H.P.,“Some extensional term models for combinatory logics and lambda-calculi”,PhD thesis,Utrecht(1971)
2. Church A.,“The calculi of lambda conversion”,Annals of Math.Studies,n∘6, Princeton(1941)
3. Curry H.B.,Feys R.,“Combinatory logic”,Vol 1,North Holland(1958)
4. Hyland M.,to appear in the Rome conference(1975)
5. Lévy J-J.,“Réductions sures dans le lambda calcul”,3ℴ cycle,Univ of Paris(1974)