`Travelled to:`

1 × Austria

2 × United Kingdom

`Collaborated with:`

D.Baelde ∅ D.Miller G.Nadathur

`Talks about:`

program (2) realiz (2) depend (2) type (2) calculus (1) approach (1) theorem (1) induct (1) prove (1) logic (1)

## Person: Zachary Snow

### DBLP: Snow:Zachary

### Contributed to:

### Wrote 3 papers:

- ICLP-2010-Snow10 #λ-calculus
- Realizing the Dependently Typed λ Calculus (ZS), pp. 294–299.
- IJCAR-2010-BaeldeMS #induction #proving #theorem proving
- Focused Inductive Theorem Proving (DB, DM, ZS), pp. 278–292.
- PPDP-2010-SnowBN #approach #logic programming #metaprogramming
- A meta-programming approach to realizing dependently typed logic programming (ZS, DB, GN), pp. 187–198.