Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Herman Geuvers. Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory. In Dirk van Dalen, Marc Bezem, editors, Computer Science Logic, 10th International Workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers. Volume 1258 of Lecture Notes in Computer Science, pages 167-181, Springer, 1996.

This author has not been identified. Look up 'Herman Geuvers' in Google

runs on WebDSL