Edit Profile (opens in new tab) Pottinger, Garrel Co-Author Distance Author ID: 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 all top 5 Co-Authors 9 single-authored 1 Aczel, Peter 1 Barendregt, Hendrik Pieter 1 Böhm, Corrado 1 Bunder, Martin W. 1 Coppo, Mario 1 de Bruijn, Nicolaas Govert 1 Dezani-Ciancaglini, Mariangiola 1 Diller, Justus 1 Eichenlaub, Carl 1 Esrig, Bruce 1 Feferman, Solomon 1 Fitch, Frederic Brenton 1 Gandy, Robin O. 1 Gilmore, Paul C. 1 Hindley, J. Roger 1 Howard, William Alvin 1 Kearns, John T. 1 Klapper, Carl 1 Klop, Jan Willem 1 Koymans, Karst 1 Kuzichev, Alexander Sergeevich 1 Lambek, Joachim 1 Levy, Jean-Jacques 1 Longo, Giuseppe 1 Meredith, David 1 Mitschke, Gerd 1 Plotkin, Gordon D. 1 Sanchis, Luis Elpidio 1 Scott, Dana Stewart 1 Seldin, Jonathan P. 1 Statman, Richard 1 Veneri, B. 1 Visser, Albert 1 Wadsworth, Christopher P. Serials 3 Notre Dame Journal of Formal Logic 2 Studia Logica 1 Annals of Mathematical Logic 1 Journal of Philosophical Logic Fields 10 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 44 Authors 5 Borisavljević, Mirjana 5 Kesner, Delia 4 Di Cosmo, Roberto 3 Dougherty, Daniel J. 2 Curien, Pierre-Louis 2 Dyckhoff, Roy 2 Espírito Santo, José Carlos 2 Mints, Grigoriĭ Efroimovich 2 Pinto, Luís F. 1 Akama, Yohji 1 Ayhan, Sara 1 Bimbó, Katalin 1 Blanqui, Frédéric 1 Boričić, Branislav R. 1 Borisavljevi, Mirjana 1 Bruce, Kim B. 1 de Paiva, Valeria 1 de Vrijer, R. C. 1 Dowek, Gilles 1 Dunn, Jon Michael 1 Elliott, Conal M. 1 Englander, Cecilia 1 Fettig, Roland 1 Ghelli, Giorgio 1 Ghilezan, Silvia 1 Guerrieri, Giulio 1 Haeusler, Edward Hermann 1 Helman, Glen 1 Hyland, J. Martin E. 1 Kikuchi, Kentaro 1 Klop, Jan Willem 1 Lengrand, Stéphane Jean Eric 1 Lescanne, Pierre 1 Liquori, Luigi 1 Löchner, Bernd 1 Longo, Giuseppe 1 Matthes, Ralph 1 Ogata, Ichiro 1 Pottinger, Garrel 1 Schwichtenberg, Helmut 1 Stolze, Claude 1 Urban, Christian 1 Lima Ventura, Daniel 1 von Plato, Jan all top 5 Cited in 14 Serials 5 Theoretical Computer Science 4 Journal of Philosophical Logic 3 MSCS. Mathematical Structures in Computer Science 2 Studia Logica 2 Information and Computation 2 Logica Universalis 2 The Review of Symbolic Logic 1 Journal of Soviet Mathematics 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Annals of Pure and Applied Logic 1 International Journal of Foundations of Computer Science 1 Archive for Mathematical Logic 1 Journal of Functional Programming 1 Theory of Computing Systems Cited in 3 Fields 37 Mathematical logic and foundations (03-XX) 20 Computer science (68-XX) 1 Category theory; homological algebra (18-XX) Citations by Year