Dualized Simple Type Theory.

Harley Eades III Aaron Stump Ryan McCleeary

Published in: Log. Methods Comput. Sci. (2016)

Keyphrases

information theory
preprocessing
computational model
theoretical framework
conceptual framework
probability theory
general theory
artificial intelligence
medical images