Comments on: Marco Maggesi and Enrico Tassi: Private types in Higher Order Logic Programming

Comments on: Marco Maggesi and Enrico Tassi: Private types in Higher Order Logic Programming https://www.coalg.org/tease-lp/2020/private-types-in-higher-order-logic-programming/ TEASE-LP, 28 and 29 May 2020, Virtual Event Wed, 27 May 2020 20:40:30 +0000 hourly 1 https://wordpress.org/?v=6.1.1