Stem involut$ (all stems)
3 papers:
- LICS-CSL-2014-Munch-Maccagnoni #type system
- Formulae-as-types for an involutive negation (GMM), p. 10.
- KR-2010-CiabattoniR #fuzzy #monad #on the
- On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System (AC, PR).
- DLT-2006-JonoskaKM
- Involution Solid and Join Codes (NJ, LK, KM), pp. 192–202.