[学位论文]
  • Choudhury, Vikraman.
  • Indiana University.
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