Implicit computation complexity in higher-order programming languages A Survey in Memory of Martin Hofmann-MedSci.cn - 梅斯（MedSci）

Implicit computation complexity in higher-order programming languages A Survey in Memory of Martin Hofmann

Dal Lago, U

Dal Lago, U (通讯作者)，Univ Bologna, Dept Comp Sci & Engn, Bologna, Italy.

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022; 32 (6): 760

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