Writing Constructive Proofs Yielding Efficient Extracted Programs

Cached

Download Links

by Aleksey Nogin
Citations:6 - 0 self