|
|||||
|
|
Programs and logics |
|
| Authors: | Anita Wasilewska |
| Affiliation: | (1) Mathematics Department, Lafayette college, 18042 Easton, PA |
| Abstract: | We use the algebraic theory of programs as in Blikle [2], Mazurkiewicz [5] in order to show that the difference between programs with and without recursion is of the same kind as that between cut free Gentzen type formalizations of predicate and prepositional logics. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |