Bibliografias temáticas / Isomorphisme de type

Índice

  1. Artigos de revistas
  2. Teses / dissertações
  3. Livros
  4. Capítulos de livros
  5. Trabalhos de conferências
  6. Relatórios de organizações

Literatura científica selecionada sobre o tema "Isomorphisme de type"

Autor: Grafiati
Publicado: 14 de dezembro de 2024

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Isomorphisme de type".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Artigos de revistas sobre o assunto "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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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).
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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 ℚ*.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.

Teses / dissertações sobre o assunto "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.

Texto completo da fonte
Resumo:
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,
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

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

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

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

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

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

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

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

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.

Livros sobre o assunto "Isomorphisme de type"

1

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

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

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.

Capítulos de livros sobre o assunto "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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.

Trabalhos de conferências sobre o assunto "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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.

Relatórios de organizações sobre o assunto "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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!

Vá para a bibliografia