PL Semantic



[operational semantic](https://texonom.com/operational-semantic-af5f1dbd528f4a03bb6894ef78158031)


[denotational semantic](https://texonom.com/denotational-semantic-1a638474d95b418f8151c2aec2d90bf5)


[axiomatic semantic](https://texonom.com/axiomatic-semantic-eae5e02c2da346ba89317d5037370266)


[categorical semantic](https://texonom.com/categorical-semantic-18e2fa5e344b4881a978cefde78d6b92)



> [3분 모나드](https://overcurried.com/3%EB%B6%84%20%EB%AA%A8%EB%82%98%EB%93%9C/)





