A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types-MedSci.cn

A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types

Hu, JZS; Pientka, B; Schopp, U

Hu, JZS (通讯作者)，McGill Univ, McConnell Engn Bldg,3480 Univ St, Montreal, PQ H3A 0E9, Canada.

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2022; 23 (4):

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