Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions

Amy P. Felty, Alberto Momigliano, Brigitte Pientka. Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Mathematical Structures in Computer Science, 28(9):1507-1540, 2018. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: