Sign in
Provable Isomorphisms of Types.
Kim B. Bruce
Roberto Di Cosmo
Giuseppe Longo
Published in:
Math. Struct. Comput. Sci. (1992)
Keyphrases
</>
databases
feature space
learning environment