Search Results - "Ferreira, Maria C.F."

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
  2. 2
  3. 3

    λCalculi with Explicit Substitutions Preserving Strong Normalization by Ferreira, Maria C. F., Kesner, Delia, Puel, Laurence

    “…This paper studies preservation of beta -strong normalization by two different confluent lambda -calculi with explicit substitutions defined in [19]; the…”
    Get full text
    Journal Article