Faithful Logic Embeddings in HOL : Deep and Shallow

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932026-07-272026-07-27202597830319998339783031999840https://fis.uni-bamberg.de/handle/uniba/116345engFaithful Logic Embeddings in HOL : Deep and Shallowconferenceobject10.1007/978-3-031-99984-0_16https://link.springer.com/content/pdf/10.1007/978-3-031-99984-0_16