Cancellation laws for polynomial-time p-isolated sets

Crossley, 1974, Combinatorial Functors, 81 Crossley, 1990, Polynomial-time combinatorial operators are polynomials, 9, 99 Dekker, 1955, A non-constructive extension of the number system (two abstracts), J. Symbolic Logic, 20, 204 Dekker, 1960, 3, 67 Girard, 1990, Bounded linear logic, 9, 195 Myhill, 1958, Recursive equivalence types and combinatorial functions, Bull. Amer. Math. Soc., 64, 373, 10.1090/S0002-9904-1958-10241-4 Nerode, 1961, Extensions to isols, Ann. of Math., 73, 362, 10.2307/1970338 Nerode, 1990, Polynomial time equivalence types, Contemp. Math., 106, 221, 10.1090/conm/106/1057825 Nerode, 1989-1990, Polynomially isolated sets, 1432, 323