Intersection Types and (Positive) Almost-Sure Termination.

Ugo Dal Lago Claudia Faggian Simona Ronchi Della Rocca

Published in: CoRR (2020)

Keyphrases

positive and negative
three dimensional
databases
real world
information systems