Graded Multicategories of Polynomial-time Realizers

R. A. G. Seely. Graded Multicategories of Polynomial-time Realizers. In David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné, editors, Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings. Volume 389 of Lecture Notes in Computer Science, pages 182-197, Springer, 1989.

Abstract

Abstract is missing.