Implicative twist-structures
โ
Rivieccio, Umberto
๐
Article
๐
2014
๐
Springer
๐
English
โ 329 KB