A General Semantic Construction of Dependent Refinement Type Systems, Categorically.

Satoshi Kura

Browse the full FOSSACS paper archive.