Korean | English

pISSN : 1975-7700 / eISSN : 2734-0570

http://journal.kci.go.kr/kkits
Home > Explore Content > All Issues > Article View
이전논문 4 of 15 다음논문

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

  • Publisher : Korea Knowledge Information Technology Society
  • Research Area : Interdisciplinary Research
  • Received : March 22, 2020
  • Accepted : April 10, 2020
  • Published : April 30, 2020

Lee, Gyesik 1 Hwajeong Kim 2

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

등재

Citation status

Search PDF

Close X

Citation

Close X
타입을 선택하세요 :
@article{ART002581761},
author={Lee, Gyesik and Hwajeong Kim},
title={A Study on the Relationship Between Hoare Logic and Curry-Howard Correspondence},
journal={Journal of Knowledge Information Technology and Systems},
issn={1975-7700},
year={2020},
volume={15},
number={2},
pages={185-193},
doi={10.34163/jkits.2020.15.2.004}