Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
λν, a calculus of explicit substitutions which preserves strong normalisation
1996
95 citations
Journal Article
bronze Open Access
Field-Weighted Citation Impact:
7.73
λν, a calculus of explicit substitutions which preserves strong normalisation | Researchclopedia