%0 Journal Article %1 journals/corr/abs-2211-06671 %A Lago, Ugo Dal %A Gavazzo, Francesco %A Ghyselen, Alexis %D 2022 %J CoRR %K dblp %T Open Higher-Order Logic (Long Version). %U http://dblp.uni-trier.de/db/journals/corr/corr2211.html#abs-2211-06671 %V abs/2211.06671

@article{journals/corr/abs-2211-06671, added-at = {2022-11-15T00:00:00.000+0100}, author = {Lago, Ugo Dal and Gavazzo, Francesco and Ghyselen, Alexis}, biburl = {https://www.bibsonomy.org/bibtex/2806de9916c53c957a05483760bee67d9/dblp}, ee = {https://doi.org/10.48550/arXiv.2211.06671}, interhash = {aff1c98086827da0c24c5493a0527fed}, intrahash = {806de9916c53c957a05483760bee67d9}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:26:21.000+0200}, title = {Open Higher-Order Logic (Long Version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2211.html#abs-2211-06671}, volume = {abs/2211.06671}, year = 2022 }