This article is cited in 1 paper

Decidable fragments of calculi used in CatLog

Max. I. Kanovich^ab, Stepan G. Kuznetsov^c, Stepan L. Kuznetsov^bd, Andre Scedrov<sup>e

a</sup> University College London, London, UK
^b Computer Science Department, HSE University, Moscow, Russia
^c Mathematics Department, HSE University, Moscow, Russia
^d Steklov Mathematical Institute of RAS, Moscow, Russia
^e Department of Mathematics, University of Pennsylvania, Philadelphia, USA

DOI: 10.1007/978-3-030-90138-7_1

Bibliographic databases:

•