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 geometric approximation algorithms 2 Quadtrees – Hierarchical Grids 3 Well Separated Pairs Decomposition 4 Clustering – Definitions and Basic Algorithms 5 On Complexity, Sampling, and epsilon-Nets and epsilon-Samples 0