Title of article
A Symmetric Lambda Calculus for Classical Program Extraction
Author/Authors
Franco Barbanera، نويسنده , , Stefano Berardi، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
15
From page
103
To page
117
Journal title
Information and Computation
Serial Year
1996
Journal title
Information and Computation
Record number
261636
Link To Document