Comments on: João Barbosa, Mário Florido and Vítor Santos Costa: Sound Type Assignment for Logic Programs

Comments on: João Barbosa, Mário Florido and Vítor Santos Costa: Sound Type Assignment for Logic Programs https://www.coalg.org/tease-lp/2020/sound-type-assignment-for-logic-programs/ TEASE-LP, 28 and 29 May 2020, Virtual Event Wed, 27 May 2020 21:02:06 +0000 hourly 1 https://wordpress.org/?v=6.1.1