Shallow Embedding of Type Theory is Morally Correct.

Ambrus Kaposi András Kovács Nicolai Kraus

Published in: MPC (2019)

Keyphrases

real time
information extraction
computational model
general theory
real world
decision making
clustering algorithm
artificial neural networks
theoretical basis
data hiding