On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System.评价结果

评估详情

6