A semantics of K into Dedukti Blog Posting

authors

publication date

December 13, 2022

published in

HAL (Le Centre pour la Communication Scientifique Directe)

Digital Object Identifier (DOI)

https://doi.org/10.4230/lipics.types.2022.23

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W4311388940 Global Citation Count