semantics for While in ?-calculus
Patricia Peratto · CLEI electronic journal · 2007
This work presents an implementation in ?-calculus of a subset of a C-like language called While. We codify booleans, integers and the statements of while : assig- nation, composition, if, skip and while. We study the relationship between precongruences in While and?-calculus.