Folgen
Sergei Soloviev
Sergei Soloviev
Professor, University of Toulouse 3
Bestätigte E-Mail-Adresse bei irit.fr
Titel
Zitiert von
Zitiert von
Jahr
Coercive subtyping: theory and implementation
Z Luo, S Soloviev, T Xue
Information and Computation 223, 18-42, 2013
752013
The genericity theorem and parametricity in the polymorphic λ-calculus
G Longo, K Milsted, S Soloviev
Theoretical computer science 121 (1-2), 323-349, 1993
651993
Coercion completion and conservativity in coercive subtyping
S Soloviev, Z Luo
Annals of pure and applied logic 113 (1-3), 297-322, 2001
522001
A logic of subtyping
G Loop, K Milsted, S Soloviev
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 292-299, 1995
471995
A complete axiom system for isomorphism of types in closed categories
S Soloviev
International Conference on Logic for Programming Artificial Intelligence …, 1993
461993
Dependent coercions
Z Luo, S Soloviev
Electronic Notes in Theoretical Computer Science 29, 152-168, 1999
351999
Some algorithmic and proof-theoretical aspects of coercive subtyping
A Jones, Z Luo, S Soloviev
Types for Proofs and Programs: International Workshop TYPES’96 Aussois …, 1998
311998
On the conditions of full coherence in closed categories
SV Soloviev
Journal of Pure and Applied Algebra 69 (3), 301-329, 1991
291991
Proof of a conjecture of S. Mac Lane
S Soloviev
Annals of Pure and Applied Logic 90 (1-3), 101-162, 1997
271997
A unified categorical approach for attributed graph rewriting
M Rebout, L Féraud, S Soloviev
Computer Science–Theory and Applications: Third International Computer …, 2008
162008
Coherence and transitivity of subtyping as entailment
G Longo, K Milsted, S Soloviev
Journal of Logic and Computation 10 (4), 493-526, 2000
162000
A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)).
A Andreev, S Soloviev
Category Theory and Computer Science: 7th International Conference, CTCS'97 …, 1997
151997
Dependent event types
Z Luo, S Soloviev
Logic, Language, Information, and Computation: 24th International Workshop …, 2017
132017
Some algebraic structures in lambda-calculus with inductive types
S Soloviev, D Chemouil
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino …, 2004
132004
On natural transformations of distinguished functors and their superpositions in certain closed categories
SV Soloviev
Journal of Pure and Applied Algebra 47 (2), 181-204, 1987
131987
Coherence in SMCCs and equivalences on derivations in IMLL with unit
L Mehats, S Soloviev
Annals of Pure and Applied Logic 147 (3), 127-179, 2007
122007
Remarks on isomorphisms of simple inductive types
D Chemouil, S Soloviev
Electronic Notes in Theoretical Computer Science 85 (7), 106-124, 2003
122003
Some proof-theoretic and algorithmic aspects of coercive subtyping. Types for proofs and programs
A Jones, Z Luo, S Soloviev
Proc. of the Inter. Conf. TYPES 96, 1998
101998
Weak transitivity in coercive subtyping
Y Luo, Z Luo, S Soloviev
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en …, 2003
92003
On the logic of using observable events in decision making
OM Kosheleva, SV Soloviev
Proceedings of the IX National USSR Symposium on Cybernetics, Moscow, 49-51, 1981
91981
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20