Skip to search formSkip to main contentSkip to account menu

Lyophyllum cf. aemiliae AB07-10-136

National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Ranzi Michael Rathjen Peter Schuster Helmut Schwichtenberg Monika Seisenberger Anton Setzer Daria Spescha Nik Sultana Stan Wainer Albert Ziegler Wolfgang Zuber
s Andreas Abel: Normalization by Evaluation for Martin-Löf Type Theory The decidability of equality is proved for Martin-Löf type… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)