au.\*:("WADSWORTH CP")
Results 1 to 3 of 3
Selection :
APPROXIMATE REDUCTION AND LAMBDA CALCULUS MODELS.WADSWORTH CP.1978; S.I.A.M.J. COMPUTG; USA; DA. 1978; VOL. 7; NO 3; PP. 337-356; BIBL. 13 REF.Article
THE RELATION BETWEEN COMPUTATIONAL AND DENSTATIONAL PROPERTIES FOR SCOTT'S DINFINI-MODELS OF THE LAMBDA-CALCULUS.WADSWORTH CP.1976; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1976; VOL. 5; NO 3; PP. 488-521; BIBL. 24 REF.Article
EDINBURGH LCF. A MECHANISED LOGIC OF COMPUTATIONGORDON MJ; MILNER AJ; WADSWORTH CP et al.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 78; 167 P.; BIBL. 5 P.Serial Issue