Graded multicategories of polynomial-time realizers

DOI10.1007/BFb0018352zbMath1493.68122OpenAlexW1599179566MaRDI QIDQ5096260

R. A. G. Seely

Publication date: 16 August 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0018352

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Graded categories (general) (18A50)

Cites Work

• Linear logic
• Functional interpretations of feasibly constructive arithmetic
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Deductive systems and categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Graded multicategories of polynomial-time realizers