Category Theoretic Semantics for Logic Programming: Laxness and Saturation

First Author: J. Power
Attributed to:  Coalgebraic Logic Programming for Type Inference funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract