Treating for-Loops as First-Class Citizens in Proofs.

Nathan Wasser Dominic Steinhöfel

Published in: CoRR (2020)

Keyphrases

e government
social media
data sets
real world
machine learning
social networks