Elementary Proof of Strong Normalization for Atomic F

DOI10.18778/0138-0680.45.1.01zbMath1403.03120OpenAlexW2617835031MaRDI QIDQ2957669

Could not fetch data.

Publication date: 27 January 2017

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.45.1.01

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.