Julianna Zsido

Identifiers

• name variant Julianna Zsido 0.60 · backfill

Papers (1)

1. Initial Semantics for higher-order typed syntax in Coq cs.LO · 2010 · author #2

Mentions

• 1012.1010 #2 · backfill · confidence 0.70 Julianna Zsido

Frequent Coauthors

• Benedikt Ahrens 1 shared papers