Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Abel, Thierry Coquand, Peter Dybjer. Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements. In 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. pages 3-12, IEEE Computer Society, 2007. [doi]

This author has not been identified. It may be one of the following persons:

Andreas Abel

Look up 'Andreas Abel' in GoogleThis author has not been identified. Look up 'Thierry Coquand' in GoogleThis author has not been identified. Look up 'Peter Dybjer' in Google

runs on WebDSL