Proof-search in type-theoretic languages: an introduction (2000)

Cached

Download Links

by Didier Galmiche , David J. Pym
Venue: Theoretical Computer Science
Citations:2 - 1 self