S. Stenlund · 3 obras en el catálogoObrasCombinators, λ-Terms and Proof TheoryCCombinators, λ-Terms and Proof TheoryCombinators, λ-Terms and Proof TheoryCCombinators, ?-Terms and Proof TheoryCombinators, ?-Terms and Proof Theory