Dmitry Rozplokhas

Latest

• Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)