λ-calculi with conditional rules (0)

by M Takahashi
Venue:In Proc. of TLCA’93, LNCS 664