MoL-2022-26: Rover Junior Samwel Explorations in Coalgebraic Predicate Logic (With a Focus on Interpolation) 1.Full Text, 2.Abstract. < Back
