Parametric Higher-Order Abstract Syntax for Mechanized Semantics (2008)

Cached

Download Links

by Adam Chlipala
Citations:20 - 2 self