An Intuitionistic Theory of Types with Assumptions of High-Arity Variables.评价结果

评估详情