DocumentCode
2222116
Title
The curry-howard correspondence in set theory
Author
Krivine, Jean-Louis
Author_Institution
U.P.R. de Mathematiques, Universite Paris VII
fYear
2000
fDate
2000
Firstpage
307
Lastpage
308
Keywords
Calculus; Computer aided instruction; Computer languages; Computer science; Control system synthesis; Electronic mail; Functional programming; Logic programming; Set theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on
ISSN
1043-6871
Print_ISBN
0-7695-0725-5
Type
conf
DOI
10.1109/LICS.2000.855779
Filename
855779
Link To Document