All Stories

  1. Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday

    Article • Mathematical Structures in Computer Science, July 2015, Cambridge University Press

    Professor Adolfo Piperno, Professor Stefano Guerrini