1 paper · 1 filter
Ariel Grunfeld, Liron Cohen
Completeness proofs in categorical semantics usually proceed by building a syntactic category whose composition is given by substitution. For untyped effectful Call-by-Value langua…