×
Author ID: pottinger.garrel Recent zbMATH articles by "Pottinger, Garrel"
Published as: Pottinger, Garrel; Pottinger, G.
External Links: MGP
Documents Indexed: 10 Publications since 1976
1 Further Contribution
Co-Authors: 3 Co-Authors with 1 Joint Publication

Publications by Year

Citations contained in zbMATH Open

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