%0 Conference Paper %1 conf/mkm/BayerGBS23 %A Bayer, Jonas %A Gonus, Alexey %A Benzmüller, Christoph %A Scott, Dana S. %B CICM %D 2023 %E Dubois, Catherine %E Kerber, Manfred %I Springer %K dblp %P 69-83 %T Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2023.html#BayerGBS23 %V 14101 %@ 978-3-031-42753-4

@inproceedings{conf/mkm/BayerGBS23, added-at = {2023-09-05T00:00:00.000+0200}, author = {Bayer, Jonas and Gonus, Alexey and Benzmüller, Christoph and Scott, Dana S.}, biburl = {https://www.bibsonomy.org/bibtex/24674ae86b773da3bcfa98d23eb7883c4/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2023}, editor = {Dubois, Catherine and Kerber, Manfred}, ee = {https://doi.org/10.1007/978-3-031-42753-4_5}, interhash = {c96507efe9bd671398d420f7bbec1a45}, intrahash = {4674ae86b773da3bcfa98d23eb7883c4}, isbn = {978-3-031-42753-4}, keywords = {dblp}, pages = {69-83}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:34.000+0200}, title = {Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2023.html#BayerGBS23}, volume = 14101, year = 2023 }