itarticle lehigh university: tenure track positions in foundations of data science [bethlehem, pa] 2021-01-14 0
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