Login / Signup

Lambda-Calculi with Conditional Rules.

Masako Takahashi
Published in: TLCA (1993)
Keyphrases