Login / Signup

Extended Projection - New Method to Extract Efficient Programs from Constructive Proofs.

Yukihide Takayama
Published in: FPCA (1989)
Keyphrases