Name:Mallku Soldevila

Country:Argentina

Affiliation:FAMAF, UNC / CONICET

Research interests:Lambda calculus, Rewrite systems, Equational logic and rewriting, Program semantics, Program reasoning, Extensible languages