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

by L Schrder
Venue:in: Lecture Notes in Computer Science