ML Anthology

Rondogiannis, Panos

1 publications

IJCAI 2018 The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs Panos Rondogiannis, Ioanna Symeonidou