Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("WADSWORTH CP")

Results 1 to 3 of 3

  • Page / 1
Export

Selection :

  • and

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

  • Page / 1