Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein. Strongly bounded termination with applications to security and hardware synthesis. In James McKinna, Cyrus Omar, editors, Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2020, Virtual Event, USA, August 23, 2020. pages 1-10, ACM, 2020. [doi]
Abstract is missing.