Lambda-Definition of Function(al)s by Normal Forms.

Corrado Bhm, Adolfo Piperno, Stefano Guerrini

Browse the full ESOP paper archive.