Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families.

Catherine Dubois Nicolas Magaud Alain Giorgetti

Published in: TYPES (2022)

Keyphrases

genetic algorithm
neural network
theorem prover
evolutionary algorithm
artificial neural networks
information retrieval systems
decision support
fixed point
artificial intelligence
similarity measure
knowledge representation
higher level