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

by L Schröder
Venue:In Jerzy Marcinkowski and Andrzej Tarlecki, editors, Computer Science Logic (CSL 04