The Logic of the Partial lambda-Calculus with Equality.

Lutz Schrder

Browse the full CSL paper archive.