Federico Aschieri (ENS de Lyon

Identifiers

• name variant Federico Aschieri (ENS de Lyon 0.60 · backfill

Papers (1)

1. Strong Normalization for HA + EM1 by Non-Deterministic Choice cs.LO · 2013 · author #1

Mentions

• 1309.1254 #1 · backfill · confidence 0.70 Federico Aschieri (ENS de Lyon

Frequent Coauthors

• Universit\'e de Lyon) 1 shared papers