Skip to content
Newer
Older
100644 8 lines (6 sloc) 262 Bytes
79029a1 @yfyf Add references.txt for accumulation of refs
yfyf authored
1 This is a list of (potential) references:
2 * Lectures on the Curry-Howard Isomorphism (1998)
3 by Morten Heine B. Sørensen, Pawel Urzyczyn
4 * Basic Proof Theory
5 Troelstra-Schwichtenberg
6 * some original Curry's/Howard's/Church's papers?
7
Something went wrong with that request. Please try again.