Categories
recording

Explicit Conjunctions without Compilation: Computing hFF(PiC) in Polynomial Time