Sign in
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