Normal view
MARC view
Artemov, Sergei (Nombre personal)
Machine generated authority record
Work cat.: ()845095: Artemov, Sergei, The intensional lambda calculus, 2007