Bittel, O.O.Bittel2022-03-082022-03-081989https://publica.fraunhofer.de/handle/publica/317131enProgram synthesis with an intuitionistic sequent calculusProgrammkonstruktion in einem intuitionistischen Sequenzkalkülconference paper