A Formal Proof of the Strong Normalization Theorem for System T in Agda.

Sebastián Urciuoli

Published in: CoRR (2023)

Keyphrases

formal proof
theorem prover
preprocessing
image processing
high level
cooperative
neural network
artificial intelligence
search engine
e learning
probabilistic model