[book]
G. Boolos
/ 2007
/ Computability and logic
/ Cambridge University Press

[confproc]
H. Curry
/ 1934
/ Functionality in combinatory logic
/ Proceedings of the National Academy of Science of the USA
20(11)
: 584~550

[report]
N. G. de Bruijn
/ 1967
/ Verification of mathematical proofs by a computer
/ AUTOMATH

[book]
JR. J. G. B. de Queiroz
/ 2011
/ The functional interpretation of logical deduction, Advances in Logic 5
/ Imperial College Press/World Scientific

[confproc]
R. W. Floyd
/ 1967
/ Assigning meanings to programs
/ Proceedings of the American Mathematical Society Symposia on Applied mathemaics
19
: 19~31

[book]
J-Y. Girard
/ 2007
/ Proofs and Types
/ Cambridge University Press

[journal]
C. A. R. Hoare
/ 1969
/ An axiomatic basis for computer programming
/ Communications of the ACM
12(10)
: 576~580

[book]
M. Huth
/ 2004
/ Logic in Computer Science: Modelling and reasoning about systems
/ Cambridge University Press

[book]
G. Hutton
/ 2016
/ Programming in Haskell
/ Cambridge University Press

[journal]
이계식
/ 2019
/
Formal Specification of Cryptographic Security Protocols
/ 한국지식정보기술학회 논문지
/ 한국지식정보기술학회
14(6)
: 711~718
/ 10.34163/jkits.2019.14.6.014

[other]
P. Martin-Löf
/ 1984
/ Intuitionistic type theory:Notes by Giovanni Sambin of a series of lectures given in Padua
/ Bibliopolis

[book]
B. Nordström
/ 1901
/ Programming in Martin-Löf’s type theory
/ Oxford University Press

[book]
S. Thompson
/ 1991
/ Type theory and functional programming
/ Addison-Wesley

[journal]
J. M. Wing
/ 2006
/ Computational thinking
/ Communications of the ACM
49(3)
: 33~35

[journal]
J. M. Wing
/ 2008
/ Computational thinking and thinking about computing, Philosophical Transaction of the Royal Society A:Mathematical
/ Physical and Engineering Sciences
366
: 3717~3725

[journal]
J. M. Wing
/ 2017
/ Computational thinking’s influence on research and education for all
/ Italian Journal of Educational Technology
25(2)
: 7~14

[journal]
양권우
/ 2020
/
The Effect of Software Education using Pair Programming on Learning Motivation and Academic Achievement
/ 한국지식정보기술학회 논문지
/ 한국지식정보기술학회
15(1)
: 57~65
/ 10.34163/jkits.2020.15.1.006