Publications de Sergei SOLOVIEV
Olivier Gasquet, Dominique Longin, Emiliano Lorini, Frédéric Maris, Régnier Pierre, Sergei Soloviev
TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete Mathematics
Computer Tools in Education journal (“Kompjuternye instrumenty v obrazovanii”), 2021, 2, pp.13-25
Nadezda Orlova, Sergei Soloviev
Logic and logicians in Russia before 1917: Living in a wider world
Historia Mathematica, 2019, 46, pp.38-55. ⟨10.1016/j.hm.2018.05.002⟩
Sergei Soloviev, Ian Malakhovski
Automorphisms of Types and Their Applications.
Journal of Mathematical Sciences, 2019, 240 (5), pp.692–706. ⟨10.1007/s10958-019-04386-8⟩
Automorphisms of Types in Certain Type Theories and Representation of Finite Groups
Mathematical Structures in Computer Science, 2018, 29 (4), pp.511-551. ⟨10.1017/S0960129518000129⟩
Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context
IfColog Journal of Logics and their Applications (FLAP), 2017, 4 (4), pp.817-840
Studes of Hilbert’s Epsilon Operator in the USSR
IfColog Journal of Logics and their Applications (FLAP), 2017, 4 (2), pp.425-434
Joe Lorkowski, Olga Kosheleva, Vladik Kreinovich, Sergei Soloviev
How Design Quality Improves with Increasing Computational Abilities: General Formulas and Case Study of Aircraft Fuel Efficiency
Dans : Journal of Advanced Computational Intelligence, Fuji Technology Press, Tokyo, Vol. 19 N. 5, p. 581-584, 2015.
Sergey Baranov, Sergei Soloviev
Conditionally Reversible Computations and Weak Universality in the Category Theory
Dans : Zapiski Nauchnyh Seminarov POMI (Comptes-rendus de Seminaires de l’Institut Mathematique Steklov, St. Petersbourg Division), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute, Russian Academy of Sciences, St Petersburg – Russia, Numéro spécial Theory of Representations, Dynamical Systems and Combinatorial Methods, Vol. 421, p. 19-33, février 2014.
Accès : ftp://ftp.pdmi.ras.ru/pub/publicat/znsl/v421/p019.pdf
BibTeXSergey Baranov, Sergei Soloviev
Equality in Lambda Calculus, Weak Universality in Category Theory and Reversible Computations.
Dans : Cahiers de Topologie et Géometrie Différentielle Catégorique, Ed. A. Charles Ehresmann, Amiens – France, Vol. LIV N. 4, p. 264-291, décembre 2013.
Accès : http://www.irit.fr/~Sergei.Soloviev/guitard_wu1.pdf
BibTeXZhaohui Luo, Sergei Soloviev, Tao Xue
Coercive subtyping: Theory and implementation.
Dans : Information and Computation, Elsevier, Vol. 223, p. 18-42, février 2013.
Ralph Matthes, Sergei Soloviev
Preface to the special issue: commutativity of algebraic diagrams
Dans : Mathematical Structures in Computer Science, Cambridge University Press, Numéro spécial CAMCAD ’09 Commutativity of Algebraic Diagrams, Vol. 22 N. 6, p. 901-903, décembre 2012.
Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
Attribute Computations in the DPoPb Graph Transformation Engine
Dans : Electronic Communications of the EASST (ECEASST), Electronic Communications of the EASST, Berlin – Germany, Vol. 32, (en ligne), 2010.
Accès : http://journal.ub.tu-berlin.de/eceasst/article/view/511
BibTeXOlga Antonova, Sergei Soloviev
Le test de Turing et la question d’une definition de la realite virtuelle
Dans : Logiko-philosophskie shtudii. (Etudes logiko-philosophiques), Universite d’Etat de St. Petersbourg, Russia, Vol. 5, p. 50-67, 2008.
Ralph Matthes, Sergei Soloviev
Preface to the special issue: isomorphisms of types and invertibility of lambda terms
Dans : Mathematical Structures in Computer Science, Cambridge University Press, Numéro spécial Isomorphisms of types and invertibility of lambda terms, Vol. 18, p. 645-646, août 2008.
Olga Antonova, Sergei Soloviev
Axiomatika i ochevidnost. (Axiomatique et evidence.)Logiko-philosophskie shtudii, 4, Universite d’Etat de St. Petersbourg
Dans : Logiko-philosophskie shtudii. (Etudes logiko-philosophiques), Universite d’Etat de St. Petersbourg, Russia, Vol. 4, p. 3-11, août 2007.
Laurent Méhats, Sergei Soloviev
Coherence in SMCCs and equivalences on derivations in IMLL with unit
Dans : Annals of Pure and Applied Logics, Elsevier, Vol. 147 N. 3, p. 127-179, août 2007.
Laurent Méhats, Sergei Soloviev
Permutability of Inferences and Categorical Equivalence of Derivations in IMLL.
Dans : Vestnik Tverskogo Gosudarstvennogo Universiteta (Communications de l’université de Tver, Russie), Université de Tver (Russie), Vol. 6, N. 12, p. 27-44, décembre 2005.
Foreword
Dans : Mathematical Structures in Computer Science, Cambridge University Press, Numéro spécial Isomorphism of Types, Vol. 15 N. 5, p. 821-825, octobre 2005.
Alexandre Flegontov, Ludmila Fedorchenko, Sergei Soloviev
The use of type theory in symbolic computations. (Russian)
Dans : Informatica i svyaz (Informatics and communication.), Vol. 1, N. 2003, p. 68-76, 2003.
Sergei Soloviev, Vladimir Orevkov
On categorical equivalence of Gentzen-style derivations in IMLL
Dans : Theoretical Computer Science, Elsevier, Vol. 303, p. 245-260, 2003.
Résumé Accès : www.ComputerScienceWeb.com
BibTeXCoercion Completion and Conservativity in Coercive Subtyping
Dans : Annals of Pure and Applied Logic, Elsevier, Vol. 113 N. 1-3, p. 297-322, janvier 2002.
Sergei Soloviev, Giuseppe Longo, Kathleen Milsted
Coherence and Transitivity of Subtyping as Entailment
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 10 N. 4, p. 493-527, août 2000.
Proof of a conjecture of S. Mac Lane
Dans : Annals of Pure and Applied Logic, Elsevier, Vol. 90, p. 101-162, 1997.
Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
The genericity theorem and the notion of parametricity in the polymorphic lambda-calculus.
Dans : Theoretical Computer Science, Elsevier, Numéro spécial A collection of contributions in honor of Corrado Bohm, Vol. 121 N. 1-2, p. 323-349, décembre 1993.
On the conditions of full coherence in closed categories
Dans : Journal of Pure and Applied Algebra, Elsevier, Vol. 69 N. 3, p. 301-329, juin 1990.
On natural trasformations of distinguished functors and their superpositions in certain closed categories.
Dans : Journal of Pure and Applied Algebra, Elsevier, Vol. 47, p. 181-204, 1987.
The category of finite sets and cartesian closed categories.
Dans : Journal of Soviet Mathematics, Consultants Bureau , New York, Vol. 22 N. 3, p. 1387-1400, 1983.
A coherence theorem for canonical morphisms in cartesian closed categories
Dans : Journal of Soviet Mathematics, Consultants Bureau , New York, Vol. 20, p. 2263-2279, 1982.
Érik Martin-Dorel, Sergei Soloviev
Cumulative Effects in Learning
3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Mar 2018, Aussois, France
Dependent Event Types
24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017), Jul 2017, London, United Kingdom. pp. 216-228
On Isomorphism of Dependent Products in a Typed Logical Framework (regular paper)
Dans : Types, Paris, 12/05/14-15/05/14, Vol. 39, Hugo Herbelin, Pierre Letouzey, Matthieu Sozeau (Eds.), Schloss Dagstuhl – Leibniz Center for Informatics, LIPIcs, p. 274-287, 2015.
Accès : http://www.dagstuhl.de/dagpub/978-3-939897-88-0 – https://oatao.univ-toulouse.fr/19100/
BibTeXBertrand Boisvert, Louis Féraud, Sergei Soloviev
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification (regular paper)
Dans : International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), Barcelone, 19/02/13-21/02/13, Slimane Hammoudi, Luis Ferreira Pires, Joaquim Filipe, Rui Cesar das Neves (Eds.), SciTePress, p. 62-77, février 2013.
Accès : http://www.irit.fr/~Sergei.Soloviev/modelsward3-4.pdf – https://oatao.univ-toulouse.fr/12726/
BibTeXEvgeny Dantsin, Jan-Georg Smaus, Sergei Soloviev
Algorithms in Games Evolving in Time: Winning Strategies Based on Testing Hypotheses
Dans : Isabelle Users Workshop of the International Conference on Interactive Theorem Proving, Princeton, USA, 12/08/12-12/08/12, Tobias Nipkow, Larry Paulson, Makarius Wenzel (Eds.).
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Graph Transformations, Proofs and Grammars (regular paper)
Dans : Philosophy, Mathematics, Linguistics: Aspects of Interaction, Saint-Petersbourg, Russie, 22/05/12-25/05/12, Oleg Prozorov (Eds.), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute, Russian Academy of Sciences, p. 195-204, mai 2012.
Accès : http://www.irit.fr/~Sergei.Soloviev/soloviev_phml.pdf
BibTeXBertrand Boisvert, Louis Féraud, Sergei Soloviev
Single pushout and lambda-terms for computation in attributed graph rewriting (regular paper)
Dans : International Seminar "Specification and Verification of Hybrid Systems", Kyiv, Ukraine, 10/10/11-12/10/11, Mykola Nikitchenko (Eds.), Taras Shevchenko National University of Kyiv, p. 20-34, octobre 2011.
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed lambda-terms in categorical attributed graph rewriting (regular paper)
Dans : WorKshop on Algebraic Methods in Model-Based Software Engineering @ TOOLS 2011, Zurich, Switzerland, 30/06/11-30/06/11, Vol. 56, Francisco Durand, Vlad Rusu (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), EPTCS, (en ligne), juin 2011.
Sergey Baranov, Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed Lambda Terms in Categorical Graph Rewriting (regular paper)
Dans : The International Conference Polynomial Computer Algebra, Saint-Petersburg, Russia, Euler International Mathematical Institute, 17/04/11-22/04/11, Nikolay Vasyliev (Eds.), Euler International Mathematical Institute, p. 9-17, avril 2011.
Asymmetric Games and Game Semantics: Some Philosophical Consequences. (short paper)
Dans : International Conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction", Saint-Petersbourg, 20/11/09-22/11/09, Oleg Prozorov (Eds.), Institut Mathématique V.A. Steklov, p. 188-190, novembre 2009.
Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev
Computations in Graph Rewriting: Inductive types and Pullbacks in DPO Approach (regular paper)
Dans : IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET 2009), Krakow, Pologne, 12/10/09-14/10/09, Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (Eds.), Springer-Verlag, p. 164-177, 2009.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
Categorical Semantics and Non-Free Categories. (regular paper)
Dans : European Summer School in Language and Informatics (ESSLI-09) – Workshop Structure and Deduction (SD-09), Bordeaux, 20/07/09-31/07/09, Lutz Srassburger (Eds.), Université de Bordeaux, (support électronique), 2009.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
On Categories of Semimodules over Semirings and Varieties of Closed Categories (regular paper)
Dans : Polynomial Computer Algebra, St. Petersbourg, 08/04/09-12/04/09, Nicolai Vassiliev (Eds.), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute, Russian Academy of Sciences, p. 89-95, avril 2009.
Maxime Rebout, Louis Féraud, Sergei Soloviev
A Unified Categorical Approach for Attributed Graph Rewriting
Dans : International Computer Science Symposium in Russia (CSR 2008), Moscou, 07/06/08-12/06/08, Vol. 5010, E. Hirsch, A. Razborov (Eds.), Springer, p. 398-410, juin 2008.
Sergei Soloviev, Olga Antonova
Axiomatics and its Model Interpretation from the Historical Perspective.
Dans : The Classical Model of Science, Vrije University, Amsterdam, 10/01/07-13/01/07, Vrije Universiteit, p. 18-19, janvier 2007.
Freiric Barral, Sergei Soloviev
Inductive Type Schemas as Functors.
Dans : International Computer Science Symposium in Russia (CSR 2006), St. Petersbourg, 08/06/06-12/06/06, Vol. 3967, Springer, LNCS, p. 35-45, juin 2006.
Olga Antonova, Sergei Soloviev
About Wittgenstein’s mathematical epistemology
Dans : The International Wittgenstein Symposium, Kirchberg am Wechsel, 06/08/06-12/08/06, Austrian Ludwig Wittgenstein Society (ALWS), pre-proceedings of the 29-th International Wittgenstein Symposium, p. 15-20, août 2006.
Olga Antonova, Sergei Soloviev
On Historical Roots of Type Theory.
Dans : Logic Colloquium (LC 2005), Athens, Greece, 28/07/05-03/08/05, Association for Symbolic Logic (ASL), p. 45-45, 2006.
Marjorie Couzinier, Louis Féraud, Ralph Sobek, Sergei Soloviev
A framework for increasing program design reliability
Dans : Contemporary information and education space. St. Petersburg pedagogical state university 2005, St. Petersburg, 22/11/05-02/12/05, Sovremennoe informatsionno-obrazovatelnoe prostranstvo (Editions de L’Université Pédagogique d’Etat), p. 67-70, 2005.
Alexandre Flegontov, Sergei Soloviev
Computer Algebra, Types and Proofs
Dans : Seventh International Workshop on Computer Algebra in Scientific Computing, St.Petersburg, Russia, 12/07/04-19/07/04, V. G. Ganzha, E. V. Mayr, E. V. Vorozhtsov (Eds.), TU Munchen, p. 155-163, juillet 2004.
Laurent Méhats, Sergei Soloviev
Equivalence Relations on Derivations and Categorical Models of IMLL
Dans : Seventh International Workshop on Computer Algebra in Scientific Computing (CASC-2004), St.Petersburg, Russia, 12/07/04-19/07/04, V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov (Eds.), TU Munchen, p. 337-349, juillet 2004.
David Chemouil, Sergei Soloviev
Remarks on isomorphisms of simple inductive types
Dans : Mathematics, Logic and Computation, Eindhoven, 04/07/03-05/07/03, Elsevier, Electronic Notes in Theoretical Computer Science 85, 7, p. 1-19, juillet 2003.
Résumé Accès : http://dx.doi.org/10.1016/S1571-0661(04)80760-6
BibTeXSergei Soloviev, David Chemouil
Some Algebraic Structures in Lambda-Calculus with Inductive Types
Dans : TYPES, Torino, 30/04/03-04/05/03, Stefano Berardi, Mario Coppo, Ferrucio Damiani (Eds.), Springer, LNCS, Volume 3085/2004, p. 338-354, avril 2003.
Ludmila Fedorchenko, Alexandre Flegontov, Sergei Soloviev
Type theory, computer algebra and computer-assisted proofs. (In Russian.)
Dans : 8-th St. Petersbourg International Conference “Regional Informatics-2002”, St. Petersbourg, Russie, 26/11/02-28/11/02.
Alexandre Flegontov, Sergei Soloviev
Type Theory in Differential Equations
Dans : International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT-2002), Moscow, Russia, 24/06/02-28/06/02, Elsevier Science, p. 649-650, juin 2002.
Yong Luo, Zhaohui Luo, Sergei Soloviev
Weak transitivity in coercive subtyping
Dans : International Workshop, TYPES2002, Berg en Dal, The Netherlands, 24/04/02-28/04/02, Herman Geuvers, Freek Wiedijk (Eds.), Springer, LNCS 2646, p. 220-239, avril 2002.
Sergei Soloviev, Vladimir Orevkov
On Categorical Equivalence of Gentzen-style Derivations in IMLL(extended abstract)
Dans : International Workshop onLogic and Complexity in Computer Science (LCCS’2001), Paris-12, Creteil, France, 03/09/01-05/09/01, Universite Paris-XII, p. 223-232, septembre 2001.
Désenvoûter le numérique
Dans : Journées PRESCOT, Toulouse, .
Sergei Soloviev, Alex Jones, Zhaohui Luo
Some Algorithmic and Proof-Theoretical Aspects of CoerciveSubtyping.
Dans : Types for Proofs and Programs. International WorkshopTYPES’ 96, Aussois, France, 15/12/96-19/12/96, Eduardo Gimenez, Chr. Paulin-Mohring (eds), Springer,LNCS 1512 (1998), p. 173-196, décembre 1996.
Nicholas Asher, Sergei Soloviev
Logical Aspects of Computational Linguistics Eighth International Conference, Toulouse, Springer-Verlag, 2014.
Nicholas Asher, Sergei Soloviev
Logical Aspects of Computational Linguistics, IRIT, Toulouse, 18/06/14 – 20/06/14, Springer, LNCS 8535, juin 2014.
Résumé Accès : www.springer.com
BibTeXRalph Matthes, Sergei Soloviev
CAMCAD ’09 Commutativity of Algebraic Diagrams
Dans : Mathematical Structures in Computer Science, Cambridge University Press, Vol. 22 N. 6, décembre 2012.
Accès : http://journals.cambridge.org/action/displayIssue?jid=MSC&volumeId=22&seriesId=0&issueId=06
BibTeXRalph Matthes, Sergei Soloviev
Isomorphism of types and invertibility of lambda terms
Dans : Mathematical Structures in Computer Science, Cambridge University Press, Vol. 18, août 2008.
Sergei Soloviev, Roberto Di Cosmo
Isomorphism of Types
Dans : Mathematical Structures in Computer Science, Cambridge University Press, Vol. 15 N. 5, octobre 2005.
Monoidal and monoidal closed categories
Dans : Nonabelian Algebraic Topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. Ronald Brown, Philip J. Higgins , Rafael Sivera (Eds.) , European Mathematical Society Publishing House, p. 608-612, Vol. 15, Tracts in Mathematics, 2011.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
On varieties of closed categories and dependency of diagrams of canonical maps.
Dans : Proofs, Categories and Computations. Essays in Honor of Grigori Mints.. Solomon Feferman, Wilfried Sieg (Eds.) , College Publications, p. 70-85, 2010.
Freiric Barral, David Chemouil, Sergei Soloviev
Non-standard reductions and categorical models in typed lambda-calculus
Dans : Logitcheskie Issledovaniya (Logical Investigations). Alexander S. Karpenko (Eds.) , Nauka, p. 300-315, Vol. 12, Logitcheskie Issledovaniya (Logical Investigations), octobre 2005.
Bibliothèque universelle et culture de l’ éphèmere.
Dans : Comprendre les usages de l’Internet. Eric Guichard (Eds.) , Editions rue d’Ulm (ENS), Ecole Normale Supérieure, 45 rue d’Ulm, 75230, Paris, p. 59-64, juin 2001.
Olga Antonova, Sergei Soloviev
La théorie et la pratique de la réalité virtuelle: l’analyse logique et philosophique., Universite d’Etat de St. Petersbourg, août 2008.