Curry Haskell B

Combinatory logic Curry Haskell B; Hindley J. Roger - Amsterdam North Holland The Netherlands 1972 - 520p. cm. - Studies in logic and the foundations of mathematics ed by Heyting .

65,142

Textual

R14, L2.2