Relevant bibliographies by topics / Isomorphisme de type

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Isomorphisme de type'

Author: Grafiati
Published: 14 December 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Isomorphisme de type.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Isomorphisme de type"

1

Eriksson, Dennis. "Un isomorphisme de type Deligne–Riemann–Roch." Comptes Rendus Mathematique 347, no. 19-20 (2009): 1115–18. http://dx.doi.org/10.1016/j.crma.2009.09.003.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gonzalez-Lorca, Jorge. "Structure des algèbres de Hecke de type A: Un isomorphisme explicite." Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 326, no. 2 (1998): 147–52. http://dx.doi.org/10.1016/s0764-4442(97)89460-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hampiholi, Prabhakar R., and Meenal M. Kaliwal. "Operations on Semigraphs." Bulletin of Mathematical Sciences and Applications 18 (May 2017): 11–22. http://dx.doi.org/10.18052/www.scipress.com/bmsa.18.11.

Full text
Abstract:
Abstract. In this paper the structural equivalence of union, intersection ring sum and decomposition of semigraphs are explored by using the various types of isomorphisms such as isomorphism, ev-isomorphism, a-isomorphism and e-isomorphism for Ge, Ga and Gca. We establish various types of binary operations in semigraphs.
APA, Harvard, Vancouver, ISO, and other styles
4

Poulain d'Andecy, L., and R. Walker. "Affine Hecke algebras and generalizations of quiver Hecke algebras of type B." Proceedings of the Edinburgh Mathematical Society 63, no. 2 (2020): 531–78. http://dx.doi.org/10.1017/s0013091519000294.

Full text
Abstract:
AbstractWe define and study cyclotomic quotients of affine Hecke algebras of type B. We establish an isomorphism between direct sums of blocks of these algebras and a generalization, for type B, of cyclotomic quiver Hecke algebras, which are a family of graded algebras closely related to algebras introduced by Varagnolo and Vasserot. Inspired by the work of Brundan and Kleshchev, we first give a family of isomorphisms for the corresponding result in type A which includes their original isomorphism. We then select a particular isomorphism from this family and use it to prove our result.
APA, Harvard, Vancouver, ISO, and other styles
5

Stroppel, Markus J. "An isomorphism between unitals and between related classical groups." Advances in Geometry 24, no. 4 (2024): 463–71. http://dx.doi.org/10.1515/advgeom-2024-0022.

Full text
Abstract:
Abstract An isomorphism between two hermitian unitals is provided, and used to treat isomorphisms of classical groups that are related to the isomorphism between certain simple real Lie algebras of types A and D (and rank 3).
APA, Harvard, Vancouver, ISO, and other styles
6

Ye, Junming. "A study of sign-changing Poisson-type equations in two configurations." Theoretical and Natural Science 55, no. 1 (2024): 67–84. http://dx.doi.org/10.54254/2753-8818/55/20240206.

Full text
Abstract:
Abstract. In this paper, We are interested in specific non-coercive issues concerning electromagnetic wave propagation in the presence of metals or particular metamaterials. We focus on some non-coercive problems which cannot be studied by a classical Lax-Milgram approach. We consider the sign-changing Poisson-type equations with the homogeneous Dirichlet boundary conditions in the circular configuration and in the three square configuration. We utilize a method called T-isomorphism, which allows the conversion of non-coercive problems into coercive ones, to examine specific Poisson-type equat
APA, Harvard, Vancouver, ISO, and other styles
7

FURUTANI, R., I. KIKUMASA та H. YOSHIMURA. "ISOMORPHISM OF QF ALGEBRAS OVER ℚ". Journal of Algebra and Its Applications 12, № 03 (2012): 1250166. http://dx.doi.org/10.1142/s0219498812501666.

Full text
Abstract:
We show that the local–global principle (Hasse principle) holds for isomorphisms between commutative local QF algebras over ℚ of dimension five with radical cubed zero, and obtain a criterion for them to be isomorphic by the Hilbert symbol or the Legendre symbol. As a consequence, we give the isomorphism classes of some type of local algebras over ℚ by using a factor group of ℚ*.
APA, Harvard, Vancouver, ISO, and other styles
8

Christensen, Erik, and Allan M. Sinclair. "Completely bounded isomorphisms of injective von Neumann algebras." Proceedings of the Edinburgh Mathematical Society 32, no. 2 (1989): 317–27. http://dx.doi.org/10.1017/s0013091500028716.

Full text
Abstract:
Milutin's Theorem states that if X and Y are uncountable metrizable compact Hausdorff spaces, then C(X) and C(Y) are isomorphic as Banach spaces [15, p. 379]. Thus there is only one isomorphism class of such Banach spaces. There is also an extensive theory of the Banach–Mazur distance between various classes of classical Banach spaces with the deepest results depending on probabilistic and asymptotic estimates [18]. Lindenstrauss, Haagerup and possibly others know that as Banach spaceswhere H is the infinite dimensional separable Hilbert space, R is the injective II 1-factor on H, and ≈ denote
APA, Harvard, Vancouver, ISO, and other styles
9

Goberstein, Simon M. "Correspondences of completely regular semigroups and -isomorphisms of semigroups." Proceedings of the Royal Society of Edinburgh: Section A Mathematics 125, no. 3 (1995): 625–37. http://dx.doi.org/10.1017/s0308210500032728.

Full text
Abstract:
A correspondence of a semigroup S is any subsemigroup of S × S, and the set of all correspondences of S, with the operations of composition and involution and the relation of set-theoretic inclusion, forms the bundle of correspondences of S, denoted by (S). For semigroups S and T, any isomorphism of (S) onto (T) is called a -isomorphism of S upon T. Similar notion can be introduced for other types of algebras and in the general frame of category theory. The principal goal of this paper is to study -isomorphisms of completely regular semigroups (that is, unions of groups) and of one other inter
APA, Harvard, Vancouver, ISO, and other styles
10

Abdeljawad, Ahmed, Sandro Coriasco, and Joachim Toft. "Liftings for ultra-modulation spaces, and one-parameter groups of Gevrey-type pseudo-differential operators." Analysis and Applications 18, no. 04 (2019): 523–83. http://dx.doi.org/10.1142/s0219530519500143.

Full text
Abstract:
We deduce one-parameter group properties for pseudo-differential operators [Formula: see text], where [Formula: see text] belongs to the class [Formula: see text] of certain Gevrey symbols. We use this to show that there are pseudo-differential operators [Formula: see text] and [Formula: see text] which are inverses to each other, where [Formula: see text] and [Formula: see text]. We apply these results to deduce lifting property for modulation spaces and construct explicit isomorphisms between them. For each weight functions [Formula: see text] moderated by GRS submultiplicative weights, we p
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Isomorphisme de type"

1

Bonnet, Jean-Paul. "Un isomorphisme motivique entre deux variétés homogènes projectives sous l'action d'un groupe de type $G_2$." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2003. http://tel.archives-ouvertes.fr/tel-00004214.

Full text
Abstract:
Dans toute cette thèse, k désigne un corps de caractéristique différente de 2 et par variété nous désignons un k-schéma, séparé et de type fini. Nous allons étudier $X(\alpha_1)$ et $X(\alpha_2)$, les variétés homogènes projectives associées à chacune des deux racines d'un groupes de type $G_(2)$. La pemière d'entre elles, $X(\alpha_1)$, est une quadrique projective de dimension 5 associée à une voisine de Pfister et l'autre, $X(\alpha_2)$, est une variété de Fano (de genre 10). Ces deux variétés ne sont pas isomorphes, pourtant elles le deviennent en tant qu'objets d'une catégorie plus large,
APA, Harvard, Vancouver, ISO, and other styles
2

Bonnet, Jean-Paul. "Un isomorphisme motivique entre deux variétés homogènes projectives sous l'action d'un groupe de type G2." Lille 1, 2003. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/6a534f30-9098-43a3-8423-d4413bfe78f0.

Full text
Abstract:
Dans toute cette thèse, k désigne un corps de caractéristique différente de 2 et par variété nous désignons un k-schêma, séparé et de type fini. Nous allons étudier X(α1) et X(α2), les variétés homogènes projectives associées à chacune des deux racines d'un groupes de type G2. La pemière d'entre elles, X(α1), est une quadrique projective de dimension 5 associée à une voisine de PFISTER et l'autre, X(α2), est une variété de FANO (de genre 10). Ces deux variétés ne sont pas isomorphes, pourtant elles le deviennent en tant qu'objets d'une catégorie plus large, à savoir la catégorie des correspond
APA, Harvard, Vancouver, ISO, and other styles
3

Stolze, Claude. "Types union, intersection, et dépendants dans le lambda-calcul explicitement typé." Thesis, Université Côte d'Azur (ComUE), 2019. http://www.theses.fr/2019AZUR4104.

Full text
Abstract:
Le sujet de cette thèse est sur le lambda-calcul décoré avec des types, communément appelé « lambda-calcul typé à la Church ». Nous étudions des versions de ce lambda-calcul muni de types intersections, tels que ceux décrits dans le livre « Lambda-calculus with types » de Barendregt, Dekkers et Statman ; les types unions, qui ont été introduits par Plotkin, MacQueen et Sethi ; et les types dépendants, tels qu'ils ont été décrits par Plotkin, Harper et Honsell lorsqu'ils ont introduit le Logical Framework d'Edinbourgh LF. Les types intersections et unions sont un moyen d'exprimer du polymorphis
APA, Harvard, Vancouver, ISO, and other styles
4

Chemouil, David. "Types inductifs, isomorphismes et récriture extensionnelle." Toulouse 3, 2004. http://www.theses.fr/2004TOU30187.

Full text
Abstract:
Cette thèse étudie l'extension du lambda-calcul simplement typé par diverses relations de récriture préservant la terminaison et la confluence. Il s'agit d'assurer, dans un premier temps, que certains types sont isomorphes. Or le problème est indécidable pour les types inductifs : nous avons donc ajouté au calcul des réductions spécifiques résolvant la question dans certains cas, à savoir le codage des types produits et unité et surtout la notion de copie paramétrée. Délaissant ensuite les isomorphismes, nous considérons de nouvelles réductions permettant d'établir des structures algébriques s
APA, Harvard, Vancouver, ISO, and other styles
5

Lasson, Marc. "Réalisabilité et paramétricité dans les systèmes de types purs." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2012. http://tel.archives-ouvertes.fr/tel-00770669.

Full text
Abstract:
Cette thèse porte sur l'adaptation de la réalisabilité et la paramétricité au cas des types dépendants dans le cadre des Systèmes de Types Purs. Nous décrivons une méthode systématique pour construire une logique à partir d'un langage de programmation, tous deux décrits comme des systèmes de types purs. Cette logique fournit des formules pour exprimer des propriétés des programmes et elle offre un cadre formel adéquat pour développer une théorie de la réalisabilité au sein de laquelle les réalisateurs des formules sont exactement les programmes du langage de départ. Notre cadre permet alors de
APA, Harvard, Vancouver, ISO, and other styles
6

Lataillade, Joachim Guilhem de. "Quantification du second ordre en sémentique des jeux : application aux isomorphismes de types." Paris 7, 2007. http://www.theses.fr/2007PA077228.

Full text
Abstract:
La sémantique des jeux offre un cadre souple et précis pour l'interprétation des langages de programmation. Cette thèse l'illustre à travers d'une part l'étude de la notion de polymorphisme et son pendant logique : la quantification du second ordre, et d'autre part la caractérisation de | certaines propriétés syntaxiques via les modèles de jeux. Le polymorphisme est d'abord envisagé sous sa forme la plus usuelle, le système F à la Church. On en propose un nouveau modèle de jeux, complet, inspiré de travaux antérieurs mais dans lequel il sera cette fois possible d'effectuer des calculs. La ques
APA, Harvard, Vancouver, ISO, and other styles
7

Herrera, Diana. "Homormophic Images and their Isomorphism Types." CSUSB ScholarWorks, 2014. https://scholarworks.lib.csusb.edu/etd/37.

Full text
Abstract:
In this thesis we have presented original homomorphic images of permutations and monomial progenitors. In some cases we have used the double coset enumeration tech- nique to construct the images and for all of the homomorphic images that we have discovered, the isomorphism type of each group is given. The homomorphic images discovered include Linear groups, Alternating groups, and two sporadic simple groups J1 and J2X2 where J1 is the smallest Janko group and J2 is the second Janko sporadic group.
APA, Harvard, Vancouver, ISO, and other styles
8

Ramirez, Jessica Luna. "CONSTRUCTIONS AND ISOMORPHISM TYPES OF IMAGES." CSUSB ScholarWorks, 2015. https://scholarworks.lib.csusb.edu/etd/254.

Full text
Abstract:
In this thesis, we have presented our discovery of true finite homomorphic images of various permutation and monomial progenitors, such as 2*7: D14, 2*7 : (7 : 2), 2*6 : S3 x 2, 2*8: S4, 2*72: (32:(2S4)), and 11*2 :m D10. We have given delightful symmetric presentations and very nice permutation representations of these images which include, the Mathieu groups M11, M12, the 4-fold cover of the Mathieu group M22, 2 x L2(8), and L2(13). Moreover, we have given constructions, by using the technique of double coset enumeration, for some of the images, including M11 and M12. We have given proofs, e
APA, Harvard, Vancouver, ISO, and other styles
9

Di, Guardia Rémi. "Identity of Proofs and Formulas using Proof-Nets in Multiplicative-Additive Linear Logic." Electronic Thesis or Diss., Lyon, École normale supérieure, 2024. http://www.theses.fr/2024ENSL0050.

Full text
Abstract:
Cette thèse s'intéresse à l'égalité des preuves et des formules en logique linéaire, avec des contributions en particulier dans le fragment multiplicatif-additif de cette logique. En logique linéaire, et dans de nombreuses autres logiques (telle que la logique intuitionniste), on dispose de deux transformations sur les preuves : l'élimination des coupures et l'expansion des axiomes. On souhaite très souvent identifier deux preuves reliées par ces transformations, étant donné qu'elles le sont sémantiquement (dans un modèle catégorique par exemple). Cette situation est similaire à celle du λ-cal
APA, Harvard, Vancouver, ISO, and other styles
10

Lengrand, Stéphane. "Normalisation & equivalence in proof theory & type theory /." St Andrews, 2007. http://hdl.handle.net/10023/319.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Isomorphisme de type"

1

Philippe, De Groote, and Université catholique de Louvain (1970- ). Départment de philosophie., eds. The Curry-Howard isomorphism. Academia, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Di Cosmo, Roberto. Isomorphisms of Types: from λ-calculus to information retrieval and language design. Birkhäuser Boston, 1995. http://dx.doi.org/10.1007/978-1-4612-2572-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Simmons, Harold. Derivation and computation: Taking the Curry-Howard correspondence seriously. Cambridge University Press, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Elatskov, Aleksey. General Geopolitics: Theoretical and Methodological Issues in Geographical Interpretation. INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/2033550.

Full text
Abstract:
This text is dedicated to the development of the general theory of geopolitics as a scientific discipline. The author discusses what geopolitics is, as well as its content and methodology, and investigates the principles of geopolitical zoning and modelling, the content and essence of geopolitical relations, geographical and geopolitical spaces, geopolitical thinking and geopolitical idealised models. Activity-geospatial and geo-adaptation approaches are utilised while considering geopolitical phenomena. The first focuses attention on the geopolitical relations existing between political activ
APA, Harvard, Vancouver, ISO, and other styles
5

Dicosmo, Roberto. Isomorphisms of Types. Island Press, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Button, Tim, and Sean Walsh. Modelism and mathematical doxology. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0006.

Full text
Abstract:
This chapter outlines a certain attitude to model theory called ‘modelism’. The modelist idea is that structure-talk, as used informally by mathematicians, is to be understood in terms of isomorphism, in the model theorist's sense. For example, modelists will want to explicate talk of ‘the natural numbers' in terms of a particular isomorphism type. As such, modelists face an important doxological question: ‘How can we pick out particular isomorphism types?’ This chapter examines various versions of this question, and in particular what it means to say that it is a doxological question. We also
APA, Harvard, Vancouver, ISO, and other styles
7

Kraus, Alain, and Nuno Freitas. On the Symplectic Type of Isomorphisms of the $p$-Torsion of Elliptic Curves. American Mathematical Society, 2022.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Isomorphisms of Types: From ? -calculus to information retrieval and language design. Birkhäuser Boston, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

DiCosmo, Roberto. Isomorphisms of Types: From ?-Calculus to Information Retrieval and Language Design. Birkhauser Verlag, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Tits, Jacques. Buildings of Spherical Type and Finite Bn-Pairs (Ergebnisse Der Mathematik Und Ihrer Grenzgebiete). Springer, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Isomorphisme de type"

1

Thatte, Satish R. "Coercive type isomorphism." In Functional Programming Languages and Computer Architecture. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3540543961_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Atanassow, Frank, and Johan Jeuring. "Inferring Type Isomorphisms Generically." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27764-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Aponte, María Virginia, and Roberto Cosmo. "Type isomorphisms for module signatures." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61756-6_95.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Gaifman, Haim, and E. P. Specker. "Isomorphism Types of Trees." In Ernst Specker Selecta. Birkhäuser Basel, 1990. http://dx.doi.org/10.1007/978-3-0348-9259-9_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Di Cosmo, Roberto. "Isomorphisms for ML". У Isomorphisms of Types: from λ-calculus to information retrieval and language design. Birkhäuser Boston, 1995. http://dx.doi.org/10.1007/978-1-4612-2572-0_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Barthe, Gilles, and Olivier Pons. "Type Isomorphisms and Proof Reuse in Dependent Type Theory." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45315-6_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Xu, Xiaoping. "Isomorphisms, Conjugacy and Exceptional Types." In Representations of Lie Algebras and Partial Differential Equations. Springer Singapore, 2017. http://dx.doi.org/10.1007/978-981-10-6391-6_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dezani-Ciancaglini, Mariangiola, Roberto Di Cosmo, Elio Giovannetti, and Makoto Tatsuta. "On Isomorphisms of Intersection Types." In Computer Science Logic. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-87531-4_33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Balat, Vincent, and Roberto Di Cosmo. "A Linear Logical View of Linear Type Isomorphisms." In Computer Science Logic. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48168-0_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Nuida, Koji. "On the Isomorphism Problem for Coxeter Groups and Related Topics." In Groups of Exceptional Type, Coxeter Groups and Related Geometries. Springer India, 2014. http://dx.doi.org/10.1007/978-81-322-1814-2_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Isomorphisme de type"

1

Balyo, Tomáš, Martin Suda, Lukáš Chrpa, et al. "Planning Domain Model Acquisition from State Traces without Action Parameters." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/76.

Full text
Abstract:
Existing planning action domain model acquisition approaches consider different types of state traces from which they learn. The differences in state traces refer to the level of observability of state changes (from full to none) and whether the observations have some noise (the state changes might be inaccurately logged). However, to the best of our knowledge, all the existing approaches consider state traces in which each state change corresponds to an action specified by its name and all its parameters (all objects that are relevant to the action). Furthermore, the names and types of all th
APA, Harvard, Vancouver, ISO, and other styles
2

Cosmo, Robero Di. "Type isomorphisms in a type-assignment framework." In the 19th ACM SIGPLAN-SIGACT symposium. ACM Press, 1992. http://dx.doi.org/10.1145/143165.143208.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Aloupis, Greg, John Iacono, Stefan Langerman, Özgür Ozkan, and Stefanie Wuhrer. "The Complexity of Order Type Isomorphism." In Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, 2013. http://dx.doi.org/10.1137/1.9781611973402.30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Fiore, Marcelo. "Isomorphisms of generic recursive polynomial types." In the 31st ACM SIGPLAN-SIGACT symposium. ACM Press, 2004. http://dx.doi.org/10.1145/964001.964008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Zibin, Yoav, Joseph (Yossi) Gil, and Jeffrey Considine. "Efficient algorithms for isomorphisms of simple types." In the 30th ACM SIGPLAN-SIGACT symposium. ACM Press, 2003. http://dx.doi.org/10.1145/604131.604146.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ilik, Danko. "Axioms and decidability for type isomorphism in the presence of sums." In CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC. ACM, 2014. http://dx.doi.org/10.1145/2603088.2603115.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Tarau, Paul. "Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell." In the 2009 ACM symposium. ACM Press, 2009. http://dx.doi.org/10.1145/1529282.1529706.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Clairambault, Pierre. "Isomorphisms of Types in the Presence of Higher-Order References." In 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011). IEEE, 2011. http://dx.doi.org/10.1109/lics.2011.32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bruce, K. B., and G. Longo. "Provable isomorphisms and domain equations in models of typed languages." In the seventeenth annual ACM symposium. ACM Press, 1985. http://dx.doi.org/10.1145/22145.22175.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Forster, Yannick, Felix Jahn, and Gert Smolka. "A Computational Cantor-Bernstein and Myhill’s Isomorphism Theorem in Constructive Type Theory (Proof Pearl)." In CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, 2023. http://dx.doi.org/10.1145/3573105.3575690.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Isomorphisme de type"

1

Gross, Jonathan L. Topological Representation of Graph Isomorphism Types. Defense Technical Information Center, 1991. http://dx.doi.org/10.21236/ada243528.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography