The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation.

Martín Hötzel Escardó Chuangjie Xu

Published in: TLCA (2015)

Keyphrases

image interpretation
artificial intelligence
integrity checking
data sets
data mining
information systems
image processing
web services
high level
face recognition