科研项目详细信息
Semantic Foundations for Interactive Programs
Neel Krishnaswami
University of Cambridge
英国|英语
01至01
Source: Gateway to Research
Link: https://gtr.ukri.org:443/projects?ref=EP/N02706X/2