## Nicolas Guenot

*Nested proof search as reduction in the λ-calculus*

PPDP, 2011.

@inproceedings{PPDP-2011-Guenot, author = "Nicolas Guenot", booktitle = "{Proceedings of the 13th International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/2003476.2003501", isbn = "978-1-4503-0776-5", pages = "183--194", publisher = "{ACM}", title = "{Nested proof search as reduction in the λ-calculus}", year = 2011, }