Book Chapter10.1007/3-540-63045-7_40

Simulating η-expansions with Β-reductions in the second-order polymorphic λ-rcalculus

Hongwei Xi-1997-01-01-Lecture notes in computer science

1

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Mathematical proofModular designRewritingConjectureExpansiveComputer scienceOrder (exchange)Calculus (dental)

Chat

Click to start Chat