Specifying Peirce's law in classical realizability.

Mauricio Guillermo Alexandre Miquel

Published in: Math. Struct. Comput. Sci. (2016)

Keyphrases

computer vision
pattern recognition
real time
neural network
multimedia
search algorithm
lower bound
case law