scientific article; zbMATH DE number 5976699
From MaRDI portal
Publication:3101100
Recommendations
- scientific article; zbMATH DE number 2156365
- Leibnizian, Robinsonian, and Boolean valued monads
- scientific article; zbMATH DE number 5585079
- Monads and theories
- On monadic theories of monadic predicates
- On the monadicity of finitary monads
- Monads with arities and their associated theories
- From type theory to setoids and back
- Simple monadic theories and indiscernibles
- The Dialectica monad and its cousins
Cited in
(3)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3101100)