itarticle virtual server undo disks – i am never going to use you again (can’t merge disks – parent disk is a part of a saved state) 0
itarticle parametricity – logical equivalence for polymorphic typesparametricity – logical equivalence for polymorphic types Extension to Polymorphic Types Logical Equivalence of Polymorphic Types Main Theorm Existential Type 0
itarticle basic computational type theorybasic computational type theory “Axiom” (Theorm) of Choice Natural Numbers mathbb{N} Identity Type Function Extensionality / Principle of Extensionality 0
