The Layers of Logiweb (2007)

by K Grue
Venue:In Calculemus ’07 / MKM ’07: Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants