Languages A category of type-changing substitutions Consider a type of terms parameterized over a type of function symbols node and a type of variables var: 06月17日 发表评论 Read More