Showing 1 - 1 results of 1 for search '"Type based termination."', query time: 0.06s Refine Results
  1. 1

    Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos / by Pastawski, Fernando Martín, 1982-

    Published 2005
    Subjects:
    Thesis Book