×
Compute Distance To:
Author ID: pottinger.garrel Recent zbMATH articles by "Pottinger, Garrel"
Published as: Pottinger, Garrel; Pottinger, G.
External Links: MGP
Documents Indexed: 9 Publications since 1976
1 Further Contribution

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 51 times in 33 Documents Cited by Year
Normalization as a homomorphic image of cut-elimination. Zbl 0378.02017
Pottinger, Garrel
21
1977
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
The Church-Rosser theorem for the typed lambda-calculus with pairing pairing. Zbl 0476.03026
Pottinger, Garrel
8
1981
The Church-Rosser theorem for the typed \(\lambda\)-calculus with surjective pairing. Zbl 0423.03009
Pottinger, Garrel
2
1980
A new classical relevance logic. Zbl 0438.03026
Pottinger, Garrel
1
1979
A new ”classical relevant logic”. Zbl 0368.02032
Pottinger, Garrel
1
1977
Proofs of the normalization and Church-Rosser theorems for the typed \(\lambda\)-calculus. Zbl 0351.02019
Pottinger, Garrel
1
1978
A new way of normalizing intuitionistic propositional logic. Zbl 0355.02019
Pottinger, Garrel
1
1976
On analysing relevance constructively. Zbl 0406.03031
Pottinger, Garrel
1
1979
The Church-Rosser theorem for the typed lambda-calculus with pairing pairing. Zbl 0476.03026
Pottinger, Garrel
8
1981
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
The Church-Rosser theorem for the typed \(\lambda\)-calculus with surjective pairing. Zbl 0423.03009
Pottinger, Garrel
2
1980
A new classical relevance logic. Zbl 0438.03026
Pottinger, Garrel
1
1979
On analysing relevance constructively. Zbl 0406.03031
Pottinger, Garrel
1
1979
Proofs of the normalization and Church-Rosser theorems for the typed \(\lambda\)-calculus. Zbl 0351.02019
Pottinger, Garrel
1
1978
Normalization as a homomorphic image of cut-elimination. Zbl 0378.02017
Pottinger, Garrel
21
1977
A new ”classical relevant logic”. Zbl 0368.02032
Pottinger, Garrel
1
1977
A new way of normalizing intuitionistic propositional logic. Zbl 0355.02019
Pottinger, Garrel
1
1976

Citations by Year