Search Results - "Ferreira, Maria C.F."
-
1
-
2
-
3
λCalculi with Explicit Substitutions Preserving Strong Normalization
Published in Applicable algebra in engineering, communication and computing (1999)“…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