A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, volume 1632 of Lecture Notes in Computer Science, pages 202–206. ... In Automated Deduction - CADE-11, 11th International 26 AUTOMATIC VERIFICATION AND INTERACTIVE THEOREM PROVING Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15- 18, 1992, ...arXiv:1701.03602v1 fatcat:rrerd5bdlvhh5edx7kwgorftpy
We rely on the internal language of presheaf categories. In order to combine the internal languages of multiple presheaf categories, we use Dependent Right Adjoints and Multimodal Type Theory. ... In Harald Ganzinger, editor, Automated Deduction -CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, volume 1632 of Lecture Notes in Computer ... In 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pages 204-213. ...arXiv:2102.11649v2 fatcat:abnprqczb5czpgzmvdbys2uca4