After the ousting of legally beleaguered “pharma bro” Martin Shkreli, his former company Turing Pharmaceuticals has announced an early Christmas gift for its remaining employees: Layoffs. Turing said ...

A recursive enumerator for a function h is an algorithm f which enumerates for an input x finitely many elements including h(x), f is a k(n)-enumerator if for every input x of length n, h(x) is among ...

The paper gives a soundness and completeness proof for the implicative fragment of intuitionistic calculus with respect to the semantics of computability logic, which understands intuitionistic ...

Turing Pharmaceuticals, which ignited a firestorm by acquiring a 62-year-old drug and increasing its price fiftyfold overnight, said on Tuesday that it would lower the price somewhat by the end of the ...