Korean | English

pISSN : 1975-7700 / eISSN : 2734-0570

2020 KCI Impact Factor : 0.41
Home > Explore Content > All Issues > Article View
4 of 15

A Study on the Relationship Between Hoare Logic and Curry-Howard Correspondence

Journal of Knowledge Information Technology and Systems
Abbr : JKITS
2020, 15(2), pp.185-193
DOI : 10.34163/jkits.2020.15.2.004
Publisher : Korea Knowledge Information Technology Society
Research Area : Interdisciplinary Research

Lee, Gyesik 1 Hwajeong Kim 2

1한경대학교
2한남대학교

등재

Statistics

icon110 Viewed

Tools

iconPrint this page

iconDownload PDF

Search PDF

Close X