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

Ferruccio Guidi

Published in: J. Formaliz. Reason. (2015)

Keyphrases

monte carlo
lambda calculus
special case
higher level
real world
data mining
genetic algorithm
high level
formal language
automated deduction
algebraic structure
yangtze river