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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2222116
بازگشت