Login / Signup

Normalization by Evaluation for Typed Weak lambda-Reduction.

Filippo Sestini
Published in: TYPES (2018)
Keyphrases