562 followers
@paul_snively @tomaspetricek Perhaps this paper could be of interest? https://t.co/rMqPOlWfO5
@paul_snively @tomaspetricek Perhaps this paper could be of interest? https://t.co/rMqPOlWfO5
@tangled_zans Indeed! There’s some interesting encodings https://t.co/lEKXctBqaX but first class support would be cool. Maude + dedukti (from the little I understand of it) would be a cool system.
Composing Hidden Information Modules Over Inclusive Institutions (2004) : Joseph Goguen and Grigore Roşu DOI: https://t.co/yIaerjkgcL #composition #institution #logic #modularity #my_bibtex
元ネタのAπ計算というのはこれ http://t.co/T5aikMcVz5