Login / Signup

Confluence of Untyped Lambda Calculus via Simple Types.

Silvia GhilezanViktor Kuncak
Published in: ICTCS (2001)
Keyphrases
  • lambda calculus