Normalization by Evaluation for Typed Weak lambda-Reduction

From MaRDI portal
Publication:5091147

DOI10.4230/LIPIcs.TYPES.2018.6OpenAlexW3194008643MaRDI QIDQ5091147

Filippo Sestini

Publication date: 21 July 2022

Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/2019/11410/pdf/LIPIcs-TYPES-2018-6.pdf/







Cites Work




This page was built for publication: Normalization by Evaluation for Typed Weak lambda-Reduction