Gdel logic: From natural deduction to parallel computation.

Federico Aschieri, Agata Ciabattoni, Francesco A. Genco

Browse the full LICS paper archive.