Closed vcvpaiva closed 5 years ago
the translation $A\to B$ ===> $!A \lolli B$ is Girard's in Linear Logic. Theor. Comput. Sci. 50: 1-102 (1987)
Kleene's theorems (problems for us) are in Introduction to Metamathematics, North-Holland, (1991) page 113 (1-25), page 116 (26-30), page 118 (31-62-b).
the translation $A\to B$ ===> $!A \lolli B$ is Girard's in Linear Logic. Theor. Comput. Sci. 50: 1-102 (1987)
Kleene's theorems (problems for us) are in Introduction to Metamathematics, North-Holland, (1991) page 113 (1-25), page 116 (26-30), page 118 (31-62-b).