Workshop on Trends, Extensions, Applications and Semantics of Logic Programming
TEASE-LP, 28 and 29 May 2020, Virtual Event
Workshop on Trends, Extensions, Applications and Semantics of Logic Programming
TEASE-LP, 28 and 29 May 2020, Virtual Event
Live Session 1

Private types in Higher Order Logic Programming

Event Timeslots (1)

Live Session 1
-
by Marco Maggesi and Enrico Tassi
ekomendantskaya ekomendantskaya

You may also like

Leave a comment