3 ms·
Given the 404s I tried to search for papers describing this language. IPL is also short for intuitionistic propositional logic, so it's almost impossible to sea
by ulrikrasmussen 4y ago
Given the 404s I tried to search for papers describing this language. IPL is also short for intuitionistic propositional logic, so it's almost impossible to search. Does anyone know of any actual research material on this?