pith. sign in

Ariel Mendelzon (Departamento de Computaci\'on

Identifiers

  • name variant Ariel Mendelzon (Departamento de Computaci\'on 0.60 · backfill

Papers (1)

  1. Swapping: a natural bridge between named and indexed explicit substitution calculi cs.LO · 2011 · author #1

Mentions

  • 1102.3730 #1 · backfill · confidence 0.70 Ariel Mendelzon (Departamento de Computaci\'on

Frequent Coauthors