Showing 1 - 1 results of 1 for search 'Marek Materzok', query time: 0.02s Refine Results
  1. 1
    Proving termination of evaluation for System F with control operators

    Proving termination of evaluation for System F with control operators by Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok

    Published 2013-09-01
    Get full text
    Article

Search Tools: