Showing 1 - 2 results of 2 for search 'Katarzyna Grygiel', query time: 0.02s
Refine Results
-
1
Unary profile of lambda terms with restricted De Bruijn indices by Katarzyna Grygiel, Isabella Larcher
Published 2021-02-01
Article -
2
Asymptotically almost all \lambda-terms are strongly normalizing by René David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier, Marek Zaionc
Published 2013-02-01
Article