On Intuitionistic S4 and Augmented Simplicial Sets

Cached

Download Links

by Jean Goubault-Larrecq , Eric Goubault