Edit Profile (opens in new tab) Paulin, Christine Co-Author Distance Author ID: paulin.christine Published as: Paulin, Christine Documents Indexed: 2 Publications since 1990 1 Contribution as Editor Co-Authors: 5 Co-Authors with 2 Joint Publications 210 Co-Co-Authors all top 5 Co-Authors 0 single-authored 1 Bertot, Yves 1 Braeunig, Jean-Philippe 1 Coquand, Thierry 1 Dowek, Gilles 1 Hirschowitz, André 1 Motte, Renaud 1 Théry, Laurent Serials 1 Computers & Mathematics with Applications 1 Lecture Notes in Computer Science Fields 2 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 46 times in 46 Documents Cited by ▼ Year ▼ Inductively defined types. Zbl 0722.03006 Coquand, Thierry; Paulin, Christine 43 1990 Theorem proving in higher order logics. 12th international conference, TPHOLs ’99. Nice, France, September 14–17, 1999. Proceedings. Zbl 0929.00038 3 1999 Theorem proving in higher order logics. 12th international conference, TPHOLs ’99. Nice, France, September 14–17, 1999. Proceedings. Zbl 0929.00038 3 1999 Inductively defined types. Zbl 0722.03006 Coquand, Thierry; Paulin, Christine 43 1990 all cited Publications top 5 cited Publications all top 5 Cited by 91 Authors 4 Dybjer, Peter 2 Blanqui, Frédéric 2 Boldo, Sylvie 2 Clément, François 2 Filliâtre, Jean-Christophe 2 Gunther, Emmanuel 2 Jouannaud, Jean-Pierre 2 Kammüller, Florian 2 Maietti, Maria Emilia 2 Mayero, Micaela 2 Melquiond, Guillaume 2 Pagano, Miguel 2 Sánchez Terraf, Pedro 2 Setzer, Anton 2 Spitters, Bas 2 Stump, Aaron 2 Weis, Pierre 1 Affeldt, Reynald 1 Al Ameen, Mahmudul Faisal 1 Amani, Sidney 1 Arusoaie, Andrei 1 Balabonski, Thibaut 1 Bertot, Yves 1 Bezem, Marc 1 Bickford, Mark 1 Boender, Jaap P. 1 Bohrer, Rose 1 Bol, Roland N. 1 Bouhoula, Adel 1 Buzzard, Kevin 1 Calegari, Daniel 1 Carette, Jacques 1 Ceulemans, Joris 1 Chen, Zilin 1 Chin, Wei-Ngan 1 Cohen, Cyril 1 Coquand, Thierry 1 Dal Lago, Ugo 1 Delga, Amélie 1 Devriese, Dominique 1 Ekici, Burak 1 Farmer, William M. 1 Fuchs, Laurent 1 Gacek, Andrew 1 Goguen, Healfdene 1 Groote, Jan Friso 1 Guidi, Ferruccio 1 Haftmann, Florian 1 Hofmann, Martin 1 Ishihara, Hajime 1 Jackson, Vincent 1 Keller, Gabriele Cornelia 1 Kerjean, Marie 1 Klein, Gerwin 1 Krebbers, Robbert 1 Lewis, Robert Y. 1 Luna, Carlos 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Maschio, Samuele 1 Miller, Dale Allen 1 Murray, Toby 1 Nadathur, Gopalan 1 Nagarajan, Rajagopal 1 Naumov, Pavel G. 1 Nuyts, Andreas 1 O’Connor, Liam 1 O’Connor, Russell 1 Okada, Mitsuhiro 1 Ore, Christian-Emil 1 Pfenning, Frank 1 Platzer, André 1 Rahli, Vincent 1 Rieg, Lionel 1 Rizkallah, Christine 1 Rouhling, Damien 1 Ruch, Fabian 1 Sakaguchi, Kazuhiko 1 Sattler, Christian 1 Seldin, Jonathan P. 1 Sewell, Thomas D. 1 Steinberg, Matías 1 Streicher, Thomas 1 Szasz, Nora 1 Tasistro, Alvaro 1 Tatsuta, Makoto 1 Théry, Laurent 1 Tixeuil, Sébastien 1 Urbain, Xavier 1 Wenzel, Makarius 1 Wu, Minchao all top 5 Cited in 15 Serials 5 Theoretical Computer Science 4 Information and Computation 4 Journal of Automated Reasoning 3 Annals of Pure and Applied Logic 3 Formal Aspects of Computing 3 Journal of Functional Programming 2 MSCS. Mathematical Structures in Computer Science 1 Computers & Mathematics with Applications 1 Studia Logica 1 Archive for Mathematical Logic 1 Turkish Journal of Mathematics 1 Advances in Applied Clifford Algebras 1 Theory of Computing Systems 1 The Journal of Logic and Algebraic Programming 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 38 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) 3 Numerical analysis (65-XX) 2 Partial differential equations (35-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year