Showing 1 - 2 results of 2 for search 'Peter Battyanyi', tempo de consulta: 0.02s Limitar resultados
  1. 1
    Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi

    Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi por Peter Battyanyi, Karim Nour

    Publicado 2017-09-01
    Ligazón do recurso
    Artigo
  2. 2
    An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus

    An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus por Péter Battyányi, Karim Nour

    Publicado 2018-06-01
    Ligazón do recurso
    Artigo

Ferramentas de procura: