Mario Román

Search

Search IconIcon to open search

Do-notation in type theory

Last updated Apr 14, 2025

do-notation-in-type-theory

References

Tags: Type theory, Type theory for symmetric monoidal categories.