itarticle practical foundations for programming languages 1 1 Abstract Syntax 2 Inductive Difintions 3 Hypothetical and General Judgements 4 Statics 5 Dynamics 6 Type Safety 7 Evaluation Dynamics 8 Function Definitions and Values 9 System T 10 Product Types 11 Sum Types 12 Constructive Logic 13 Classical Logic 0
itarticle 改革派 1 是党的耀邦,不是你的耀邦2 尴尬的党内民主人士,微弱的抵抗3 曾经集体亮相的党内民主“派”4 被收编的言论阵地5 改革“派”弥漫的悲观心绪6 渐进主义破产了吗? 2 尴尬的党内民主人士,微弱的抵抗 3 曾经集体亮相的党内民主“派” 4 被收编的言论阵地 5 改革“派”弥漫的悲观心绪 6 渐进主义破产了吗? 0