Plotkin's call-by-value lambda-calculus as a modal calculus-MedSci.cn - 梅斯（MedSci）

Plotkin's call-by-value lambda-calculus as a modal calculus

Santo, JE; Pinto, L; Uustalu, T

Santo, JE; Pinto, L (通讯作者)，Univ Minho, Ctr Math, Braga, Portugal.;Uustalu, T (通讯作者)，Reykjavik Univ, Dept Comp Sci, Reykjavik, Iceland.;Uustalu, T (通讯作者)，Tallinn Univ Technol, Dept Software Sci, Tallinn, Estonia.

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022; 127 ():

科室
- - 订阅+
  - 更多科室
工具
服务