Category theoretic structure of setoids

Yoshiki Kinoshita, John Power

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

5 Citations (SciVal)

207 Downloads (Pure)

1 results

Filter

Finished
Coalgebraic Logic Programming for Type Inference
Power, J. (PI)
Engineering and Physical Sciences Research Council
1/09/13 → 31/01/17
Project: Research council