Mechanized metatheory for a λ-calculus with trust types.

Rodrigo Geraldo Ribeiro Lucília Figueiredo Carlos Camarão

Published in: J. Braz. Comput. Soc. (2013)

Keyphrases

trust model
computer algebra
data mining
information systems