Showing 1 - 1 results of 1 for search 'Marek Zaionc', query time: 0.02s Refine Results
  1. 1
    Asymptotically almost all \lambda-terms are strongly normalizing

    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
    Get full text
    Article

Search Tools: