Arve Gengelbach

According to our database, Arve Gengelbach authored at least 6 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

A Verified Cyclicity Checker: For Theories with Overloaded Constants.

Arve Gengelbach, Johannes Åman Pohjola

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Conservative Definitions for Higher-order Logic with Ad-hoc Overloading.

Arve Gengelbach

PhD thesis, 2021

2020

Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading.

Arve Gengelbach, Johannes Åman Pohjola, Tjark Weber

Proceedings of the Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2020

A Mechanised Semantics for HOL with Ad-hoc Overloading.

Johannes Åman Pohjola, Arve Gengelbach

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading.

Arve Gengelbach, Tjark Weber

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2017

Model-Theoretic Conservative Extension for Definitional Theories.

Arve Gengelbach, Tjark Weber

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017