Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions.

Andrej Dudenhefner Daniele Pautasso

Published in: FSCD (2024)

Keyphrases

computer science
control system
learning algorithm
case study
cooperative
probability distribution