Extensional normalization in the logical framework with proof irrelevant equality (2009)

by Andreas Abel
Venue:In Workshop on Normalization by Evaluation, affiliated to LiCS 2009, Los Angeles
Citations:2 - 2 self