View of Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions

Return to Article Details Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions Download Download PDF