Simple type theory

Last updated Jul 7, 2023

#index

• Type Theory for unbiased monoidal categories
• Type theory for symmetric monoidal categories
• Type theory for a strong monoidal endofunctor

• Type theory for delayed feedback
• Syntax sugar for a Lucid language
• Reduction in symmetric monoidal categories