The logic of the partial λ-calculus with equality (2004)

by L Schröder
Venue:Computer Science Logic (CSL