Program Extraction, Simplified Proof-Terms and Realizability (1996)

Cached

Download Links

by David Albrecht , John N. Crossley
Citations:5 - 5 self