Type-Theoretic Functional Semantics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yves Bertot, Venanzio Capretta, Kuntal Das Barman. Type-Theoretic Functional Semantics. In Victor Carreño, César Muñoz, Sofiène Tahar, editors, Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings. Volume 2410 of Lecture Notes in Computer Science, pages 83-98, Springer, 2002. [doi]

This author has not been identified. Look up 'Yves Bertot' in GoogleThis author has not been identified. Look up 'Venanzio Capretta' in GoogleThis author has not been identified. Look up 'Kuntal Das Barman' in Google

runs on WebDSL