Comments on: Private types in Higher Order Logic Programming

Comments on: Private types in Higher Order Logic Programming https://www.coalg.org/tease-lp/timetable/event/private-types-in-higher-order-logic-programming/ TEASE-LP, 28 and 29 May 2020, Virtual Event Fri, 15 May 2020 12:30:42 +0000 hourly 1 https://wordpress.org/?v=6.1.1