Rule-Based Semantics for an Extended Lambda-Calculus.

Gyrgy E. Rvsz

Browse the full MFPS paper archive.