Showing 1 - 2 results of 2 for search 'Ferruccio Guidi', query time: 0.02s Refine Results
  1. 1
    Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions

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

    Published 2016-01-01
    Get full text
    Article
  2. 2
    Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover

    Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover by Ferruccio Guidi

    Published 2012-01-01
    Get full text
    Article

Search Tools: