1,934 followers
@msimoni @paul_snively Namespace Logic: A Logic for a Reflective Higher-Order Calculus - Springer https://t.co/Uz1lmdJWy5
@msimoni @paul_snively Namespace Logic: A Logic for a Reflective Higher-Order Calculus - Springer https://t.co/Uz1lmdJWy5
@stv_kn There could be! https://t.co/Uz1lmdJWy5