Zachary Snow

According to our database¹, Zachary Snow authored at least 4 papers in 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search

[BibT_eX]

[DOI]

CoRR, 2010

A meta-programming approach to realizing dependently typed logic programming.

[BibT_eX]

[DOI]

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Realizing the Dependently Typed Lambda Calculus.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Focused Inductive Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010