View of Hybrid Type Theory: A Quartet in Four Movements

Return to Article Details Hybrid Type Theory: A Quartet in Four Movements Download Download PDF