Baidu
map

A quantitative model for simply typed lambda-calculus

Hofmann, M; Ledent, J

Ledent, J (通讯作者),Univ Strathclyde, Math Struct Programming Grp, Glasgow, Lanark, Scotland.

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

Baidu
map
Baidu
map
Baidu
map