Mechanizing the Metatheory of LF - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian Urban, James Cheney, Stefan Berghofer. Mechanizing the Metatheory of LF. In Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. pages 45-56, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Christian Urban' in GoogleThis author has not been identified. Look up 'James Cheney' in GoogleThis author has not been identified. Look up 'Stefan Berghofer' in Google

runs on WebDSL