Bittel, O.O.BittelAlencar, P.S.P.S.Alencar2022-03-072022-03-071989https://publica.fraunhofer.de/handle/publica/285928en004005006Program construction with an intuitionistic sequent calculusreport