Zachary Snow

Identifiers

• name variant Zachary Snow 0.60 · backfill

Papers (2)

1. Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search cs.LO · 2010 · author #1
2. A Meta-Programming Approach to Realizing Dependently Typed Logic Programming cs.LO · 2010 · author #1

Mentions

• 1007.0779 #1 · backfill · confidence 0.70 Zachary Snow
• 1005.4379 #1 · backfill · confidence 0.70 Zachary Snow

Frequent Coauthors

• David Baelde 2 shared papers
• Gopalan Nadathur 2 shared papers