1 citations · 3 across the 12 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
General Semantic Construction of Dependent Refinement Type Systems, Categorically
Satoshi Kura
Refinement types are types equipped with predicates that specify preconditions and postconditions of underlying functional languages. We propose a general semantic construction of…
cs.LO2020★ 1 cited
Graded Algebraic Theories
Satoshi Kura
We provide graded extensions of algebraic theories and Lawvere theories that correspond to graded monads. We prove that graded algebraic theories, graded Lawvere theories, and fini…