Proof-Term Synthesis on Dependent-type Systems via Explicit Substitutions (1999)

Cached

Download Links

by Cesar Muñoz
Citations:8 - 1 self