10 results  save search

hal-00783654v1  Conference papers
David ChemouilSergei Soloviev. Remarks on isomorphisms of simple inductive types
Mathematics, Logic and Computation (Satellite Event of ICALP 2003, in honor of N. G. de Bruijn's 85th birthday), Jun 2003, Eindhoven, Netherlands. pp.106-124, ⟨10.1016/S1571-0661(04)80760-6⟩
hal-01914095v1  Journal articles
Joe LorkowskiOlga KoshelevaVladik KreinovichSergei Soloviev. How Design Quality Improves with Increasing Computational Abilities: General Formulas and Case Study of Aircraft Fuel Efficiency
Journal of Advanced Computational Intelligence and Intelligent Informatics (JACIII), 2015, 19 (5), pp.581-584
hal-01914086v1  Journal articles
Sergei Soloviev. Studes of Hilbert's Epsilon Operator in the USSR
IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, 4 (2), pp.425-434
hal-01130574v1  Journal articles
Zhaohui LuoSergei SolovievTao Xue. Coercive subtyping: Theory and implementation
Information and Computation, Elsevier, 2013, vol. 223, pp. 18-42. ⟨10.1016/j.ic.2012.10.020⟩
hal-01913662v1  Conference papers
Zhaohui LuoSergei Soloviev. Dependent Event Types
24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017), Jul 2017, London, United Kingdom. pp. 216-228
hal-01913983v1  Conference papers
Sergei Soloviev. On Isomorphism of Dependent Products in a Typed Logical Framework
20th International Conference on Types for Proofs and Programs (TYPES 2014), May 2014, Paris, France. pp. 274-287
hal-01527378v1  Conference papers
Maxime ReboutLouis FéraudLionel Marie-MagdeleineSergei Soloviev. Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach
4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.150-163, ⟨10.1007/978-3-642-28038-2_12⟩
hal-02348258v1  Journal articles
Sergei Soloviev. Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context
IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, 4 (4), pp.817-840