Isomorphisms of types: From [lambda]-calculus to information retrieval and language design

1995 · الإنجليزية · غلاف صلب