Avoiding Repetitive Evaluation Patterns in Lambda Calculus with Letrec

  • Jan Rochel (Invited speaker)

    Activity: Talk or presentation › Invited talk › Popular

    Period10 Mar 2011
    Event titleTF-Lunch, disciplinegroep TF, departement wijsbegeerte (Utrecht)
    Event typeSeminar