Strong reduction in combinatory logic
Loewen, Kenneth
Strong reduction in combinatory logic Kenneth Loewen - Oklahoma University Oklahoma 1965 - 34 p 27 cm - Departament of mathematics preprints 38 .
Lucrarea este multigrafiata Contine bibliografie
Strong reduction in combinatory logic Kenneth Loewen - Oklahoma University Oklahoma 1965 - 34 p 27 cm - Departament of mathematics preprints 38 .
Lucrarea este multigrafiata Contine bibliografie