Strong Normalization for the Calculus of Constructions.

Chris Casinghino

Published in: CoRR (2022)

Keyphrases

normalization method
neural network
real time
social networks
website
face recognition
search algorithm