Towards the Theory of Programming in Constructive Logic

Andrei Voronkov, Neil D Jones (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this