Showing 1 - 3 results of 3 for search 'Péter Battyányi', query time: 0.02s
Refine Results
-
1
Normalization proofs for the un-typed μμ-calculus by Péter Battyányi, Karim Nour
Published 2020-05-01
Article -
2
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi by Peter Battyanyi, Karim Nour
Published 2017-09-01
Article -
3
An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus by Péter Battyányi, Karim Nour
Published 2018-06-01
Article