ISBN | 9798377662181 | ||
---|---|---|---|
作者 | Choudhury, Vikraman. | 授予学位单位 | Indiana University. |
导师 | Sabry, Amr A. | 学位 | Ph.D. |
学科 | Computer science. Mathematics. Logic. | 国籍 | US |
页码/总页数 | 353 p. / 353 | 出版年 | 2023 |
中图分类号 | TP, O1 | ||
关键词 | Categorical semantics Category theory Denotational semantics Programming languages Type theory |