The Calculus of Constructions as a Framework for Proof Search with Set Variable Instantiation (2000)

Cached

Download Links

by Amy Felty
Citations:2 - 0 self