Periodic Reporting for period 1 - InfTy (Infinitary Rewriting for Type Systems)

Infinite objects are ubiquitous in computer science. For instance, an interactive program may be modelled as taking for input a stream (an infinite list) of requests and producing a stream of responses. Infinite objects also naturally appear in lazy functional programming...