Login / Signup

A Symmetric Lambda Calculus for "Classical" Program Extraction.

Franco BarbaneraStefano Berardi
Published in: TACS (1994)
Keyphrases