MoL-2020-08: Tex Aston Felix Schönlank Syntactic logical relations for System F with recursive types and call-by-name semantics 1.Full Text, 2.Abstract. < Back