• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 34
  • 8
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 53
  • 10
  • 9
  • 9
  • 8
  • 8
  • 7
  • 6
  • 6
  • 5
  • 5
  • 5
  • 5
  • 5
  • 4
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Evolution géodynamique du domaine Ouestoffshore de la Nouvelle-Calédonie et de ses extensions vers la Nouvelle Zélande

Collot, Julien 27 March 2009 (has links) (PDF)
L'histoire géodynamique du Sud-Ouest Pacifique est contrôlée depuis le Mésozoïque par l'évolution des zones de subduction péri-Pacifique qui ont successivement bordé la marge Est du Gondwana. Le recul de la fosse de subduction par effondrement du panneau plongeant dans le manteau est probablement le moteur de la fragmentation continentale qui a donné naissance à des rifts avortés et des bassins arrière-arcs associés à des arcs volcaniques rémanents. Dans ce contexte géodynamique, les bassins ayant atteint un stade d'océanisation avancé ont enregistré les inversions du champ magnétique terrestre et développé des morphologies typiques de la croûte océanique. Ces caractéristiques ont permis d'identifier l'âge et la nature de la croûte de ces bassins avec un degré de confiance élevé. C'est le cas de la plupart des bassins du Sud-Ouest Pacifique formés après 45 Ma. A l'inverse, les bassins de Nouvelle-Calédonie et de Fairway, plus étroits et recouverts d'épaisses séries sédimentaires ont une origine mal renseignée qui est longtemps restée controversée. Bien que morphologiquement et structuralement remarquables à l'échelle régionale, ces bassins n'interviennent pas dans les schémas actuels de reconstruction géodynamique régionaux. L'objet du présent travail de thèse est d'approfondir la connaissance de la structure et de l'histoire de ces bassins afin d'affiner le puzzle géodynamique du Sud-Ouest Pacifique. Une synthèse géologique régionale, accompagnée d'une carte structurale (planche hors texte A0), permet de replacer ces bassins dans le contexte géologique de l'évolution post-jurassique de la marge Est-Australienne. Les nouvelles données sismiques d'imagerie profonde des campagnes ZoNéCo-11, Noucaplac-2 et TL-1, couplées aux données récentes de forages sur la marge de Taranaki en Nouvelle-Zélande, constituent une base solide de données nouvelles autorisant une interprétation chronostratigraphique rénovée des bassins de Fairway et de Nouvelle-Calédonie ainsi que des rides qui leur sont associées. Ces interprétations complétées par une nouvelle compilation des données gravimétriques et magnétiques régionales permettent de dégager trois étapes dans l'évolution géodynamique de ces bassins : Etape 1 : Formation du Bassin de Fairway - Aotea au Crétacé moyen, en position intra- ou arrière-arc continental, dans un contexte de subduction. La formation de ce bassin, relativement peu profond, reflète les prémices de la déchirure continentale de la marge Est-Gondwanienne au Cénomanien, dont la cause est à rechercher dans un changement de la dynamique de la subduction. Une « verticalisation » de la plaque plongeante aurait entraîné de l'extension dans la plaque chevauchante. L'augmentation du pendage du slab pourrait être attribuée à : (i) un processus gravitaire lié au poids du slab, l'amenant à couler dans l'asthénosphère, engendrant alors un « hinge rollback », (ii) un flux asthénosphérique rétrograde, exerçant une pression horizontale sur le slab le faisant ainsi reculer, et (iii) la cinématique des plaques lithosphériques impliquées dans la subduction pouvant jouer un rôle sur le pendage du slab et pouvant créer des zones de faiblesse dans la plaque chevauchante menant à de l'extension arrière-arc. Un phénomène de « tectonic escape », lié à un blocage de la zone de subduction par le plateau d'Hikurangi à 105 Ma, pourrait aussi être la cause du recul de la subduction menant à de l'extension arrière-arc. Etape 2 : Déformation locale affectant la partie Nord du Bassin de Nouvelle-Calédonie (au large de la Grande Terre, strictement) à l'Eocène terminal, synchrone de l'obduction ophiolotique néo-calédonienne. Cette déformation asymétrique, d'une durée de quelques millions d'années et d'amplitude verticale de l'ordre de 10 km, est marquée par la surrection de la ride de Fairway et la subsidence de la marge Est du bassin, le long de la côte Ouest de la Nouvelle-Calédonie. Le Bassin de Nouvelle-Calédonie aurait subsidé sous l'effet de la surcharge engendrée par le charriage de la croûte océanique du Bassin de Sud-Loyauté sur la ride de Norfolk à 37 Ma et aurait réagi comme un bassin flexural d'avant-pays suivant un processus de sous-charriage (underthrusting), au fur et à mesure que la nappe progressait sur le bâti Calédonien. Etape 3 : Subsidence Eocène-Oligocène d'envergure régionale, affectant l'ensemble « Ride de Lord Howe, Bassin de Fairway – Aotea, Ride de Fairway, Bassin de Nouvelle-Calédonie, Ride de Norfolk », de la Nouvelle-Zélande à la Nouvelle-Calédonie. Les traits morphostructuraux associés à cette subsidence suggèrent que l'ablation d'une partie de la croûte inférieure du système est responsable de cette subsidence. Nous émettons ainsi une nouvelle hypothèse selon laquelle les bassins de Nouvelle-Calédonie et de Fairway-Aotea, initialement peu profonds pendant le Crétacé (phase de rifting Crétacé, étape 1), auraient subi une subsidence de grande ampleur à l'Eocène – Oligocène lors de la réactivation de la convergence Australie – Pacifique. La reprise de la convergence vers ~45 Ma aurait entraîné un épaississement crustal de l'ensemble de rides et bassins aboutissant à une instabilité gravitaire de sa racine, provoquant ainsi son détachement et son effondrement dans le manteau. Ces nouvelles interprétations, et en particulier l'âge Crétacé moyen des sédiments les plus anciens des bassins de Fairway et Aotea, ont des implications pour le potentiel pétrolier de la région.
42

Elegaic materialism : the poetry and art of Susan Howe

Barbour, Susan Jean January 2014 (has links)
The American poet Susan Howe (1937-present) began her career as a visual artist, but owing to a dearth of information about her early collages it has been difficult to say anything substantive about how they might have shaped her poetic practice. In 2010, she placed her collages on archive. Along with a number of personal interviews with Howe, this heretofore unavailable material has enabled me to consider Howe's subsequent work in a new light and to establish significant links between her early visual aesthetics and the poetics of bibliography, historiography, and elegy for which she is now known. Howe's collages, like her poetry, focus on details that are at risk of vanishing from cultural memory and printed record. For this reason, I argue that her work evinces an 'elegaic materialism', or a way of reading, viewing, and thinking about texts that is attuned to loss. If “history is the record of the winners,” as Howe says, then one way of rescuing marginalized perspectives is by regarding manuscripts as drawings, thereby rescuing the concrete particulars deemed irrelevant by editors and historians. As Howe's late work turned increasingly toward elegy, her early aesthetic contributed to a nuanced poetics of personal loss and to a series of astonishing new formal tropes. The Introduction to this thesis discusses Howe's materialism in the context of current literary theory and textual scholarship. Chapter 1 concerns itself with Howe's art historical context. Chapter 2 analyses a selection of her word-drawings. Chapter 3 considers Howe's transition to poetry. Chapter 4 addresses her turn to archival documents in her middle period. Chapter 5 looks at the influence on Howe of documentary film, especially in connection with the task of representing a lost loved one, and Chapter 6 discusses her two most recent elegies, The Midnight and THAT THIS. A Coda completes the circle by once more considering Howe in the context of the visual arts at the moment she was selected to exhibit at the 2014 Whitney Biennial.
43

Michael Walzer’s Moral Critique of American Foreign Policy in the Context of the Post-War American Foreign Policy Debate

Kupfer, Sara M. 04 December 2003 (has links)
No description available.
44

Nouvelles perspectives sur les algèbres de type Askey–Wilson

Gaboriaud, Julien 08 1900 (has links)
Cette thèse se divise en trois parties qui peuvent être toutes regroupées autour d'une même bannière : l'étude de structures algébriques reliées aux algèbres de type Askey–Wilson. Alors que dans la première partie on s'efforce d'obtenir des interprétations duales (au sens de Howe) de ces algèbres, dans les autres parties on étudie des généralisations de ces algèbres. Des dégénérations de l'algèbre de Sklyanin, générées par des blocs plus fondamentaux que ceux générant les algèbres de type Askey–Wilson, sont étudiées dans la deuxième partie et des généralisations de plus haut rang des algèbres de type Askey–Wilson sont étudiées dans la troisième partie. Dans la première partie, en invoquant la dualité de Howe, deux interprétations duales sont obtenues pour les algèbres de Racah, Bannai–Ito, Askey–Wilson, Higgs, Hahn, \(q\)-Hahn et dual \(-1\) Hahn. La façon dont la dualité de Howe opère est rendue explicite par l'examen de processus de réduction dimensionnelle. Un modèle superintégrable 2D de mécanique quantique superconforme dont l'algèbre de symétrie est celle de type dual \(-1\) Hahn est également introduit et solutionné. Dans la deuxième partie, des algèbres générées par des opérateurs de contiguïté et d'échelle encodant des propriétés de familles de polynômes sont étudiées. Ces opérateurs appartiennent à la classe des opérateurs de Sklyanin–Heun, qui peuvent être définis sur plusieurs grilles diverses. On découvre qu'ils génèrent des dégénérations de l'algèbre de Sklyanin. On démontre que les représentations irréductibles de dimension finie de ces algèbres ont pour base des familles de para-polynômes. Les grilles linéaires, quadratiques, exponentielles et d'Askey–Wilson sont étudiées et mènent respectivement aux polynômes orthogonaux des familles de para-Krawtchouk, para-Racah, \(q\)-para-Krawtchouk et \(q\)-para-Racah. Enfin, la façon dont les polynômes de para-Krawtchouk et d'autres familles de polynômes orthogonaux sont reliées aux représentations tridiagonales du plan de Jordan déformé est présentée. Dans la dernière partie, on explore des généralisations à plus haut rang pour les algèbres de Racah et Askey–Wilson. Pour ce faire, on étudie les réalisations de ces algèbres en termes de Casimirs intermédiaires. Le rôle de la matrice \(R\) tressée est élucidé : celle-ci permet de relier divers Casimirs intermédiaires entre eux par conjugaison. Un isomorphisme entre l'algèbre de skein du crochet de Kauffman de la sphère à 4 trous et l'algèbre engendrée par les Casimir intermédiaires dans \(U_q(\mathfrak{sl}_2)^{\otimes 3}\) est présenté et permet d'interpréter de façon diagrammatique la conjugaison par la matrice \(R\) tressée mentionnée ci-haut. Finalement, une présentation du centralisateur \(Z_n(\mathfrak{sl}_2)\) de \(U(\mathfrak{sl}_2)\) dans \(U(\mathfrak{sl}_2)^{\otimes n}\) par générateurs et relations est obtenue et on montre que ce centralisateur est isomorphe à un quotient (obtenu explicitement) de l'algèbre de Racah de plus haut rang \(R(n)\). / This thesis is divided in three parts which all orbit around the same theme: the study of algebraic structures related to the algebras of Askey–Wilson type. In the first part we obtain two interpretations that are dual in the sense of Howe for the algebras of Askey–Wilson type. Meanwhile, the other two parts are concerned with generalizations of these algebras. In the second part, we study degenerations of the Sklyanin algebra, which are built out of generators that are more fundamental than those of the Askey–Wilson algebra. In the last part, generalizations of the Askey–Wilson type algebras to higher rank are studied. In the first part, dual interpretations are obtained for the Racah, Bannai–Ito, Askey–Wilson, Higgs, Hahn, \(q\)-Higgs and dual \(-1\) Hahn algebras by invoking Howe duality. The way that this Howe duality operates is made explicit through the examination of a dimensional reduction procedure. A 2D superintegrable superconformal quantum mechanics model, whose symmetry algebra is the one of dual \(-1\) Hahn type, is also introduced and solved. In the second part, we study algebras that are generated by contiguity and ladder operators that encode properties of families of orthogonal polynomials. We show that these operators belong to the Sklyanin–Heun class of operators, which can be defined for various grids. We also show how their algebraic relations correspond to those of degenerations of the Sklyanin algebra. Then, we show how various families of para-polynomials support finite-dimensional irreducible representations of these degenerate algebras. From the linear, quadratic, exponential and Askey–Wilson grids, we are respectively led to the para-Krawtchouk, para-Racah, \(q\)-para-Krawtchouk and \(q\)-para-Racah polynomials. Later, we connect the para-Krawtchouk polynomials (and other families of orthogonal polynomials) to tridiagonal representations of the deformed Jordan plane. In the final part, we explore higher rank generalizations of the Racah and Askey–Wilson algebras. To that end, their realizations in terms of intermediate Casimir elements are studied. The role of the braided \(R\)-matrix is understood as follows: it connects various intermediate Casimir elements through conjugation. We obtain an isomorphism between the Kauffman bracket skein algebra of the four-punctured sphere and the algebra generated by the intermediate Casimir elements in \(U_q(\mathfrak{sl}_2)^{\otimes3}\). This leads to a diagrammatic interpretation of the conjugation by the braided \(R\)-matrix mentioned in the above. Lastly, a presentation of the centralizer \(Z_n(\mathfrak{sl}_2)\) of \(U(\mathfrak{sl}_2)\) in \(U(\mathfrak{sl}_2)^{\otimes n}\) by generators and relations is obtained and we show that this centralizer is isomorphic to a quotient (which we provide explicitly) of the higher rank Racah algebra \(R(n)\).
45

Philanthropic Colonialism: New England Philanthropy in Bleeding Kansas, 1854-1860

Howe, Elijah Cody 29 February 2012 (has links)
Indiana University-Purdue University Indianapolis (IUPUI) / In 1854 the United States Congress passed the Kansas-Nebraska bill which left the question of slavery in the territory up to a vote of popular sovereignty. Upon the passage of the bill, New England’s most elite class of citizens, led by Eli Thayer, mobilized their networks of philanthropy in New England to ensure the Kansas-Nebraska territory did not embrace slavery. The effort by the New England elite to make the territories free was intertwined in a larger web of philanthropic motivations aimed to steer the future of America on a path that would replicate New England society throughout the country. The process and goal of their philanthropy in the Kansas-Nebraska Territory was not dissimilar from their philanthropy in New England. Moral classification of those in material poverty mixed with a dose of paternalism and free labor capitalism was the antidote to the disease of moral degradation and poverty. When Missourians resisted the encroachment of New Englanders on the frontier, the New England elites shifted their philanthropy from moral reform to the funding and facilitation of violence under the guise of philanthropy and disaster relief. For six years, until the outbreak of the American Civil War, New England philanthropists facilitated and helped fund the conflict known as Bleeding Kansas.
46

La correspondance de Howe géométrique modérément ramifiée pour les paires duales de type II dans le cadre du programme de Langlands géométrique

Banafsheh, Farang-Hariri 13 June 2012 (has links) (PDF)
Dans cette thèse on s'intéresse à la correspondance de Howe géométrique pour les paires duales réductives de type II (G = GL_n, H = GL_m) sur un corps local non-Archimédien F de caractéristique différente de 2, ainsi qu'à la fonctorialité de Langlands géométrique au niveau Iwahori. Notons S la représentation de Weil de G(F) × H(F) et I_H, I_G des sous groupes d'Iwahori de H(F) et G(F). On considère la version géométrique de la représentation S^(I_G×I_H) des algèbres de Hecke-Iwahori H_H et H_G sur laquelle agissent les foncteurs de Hecke. On obtient des résultats partiels sur la description géométrique de la catégorie correspondante. Nous proposons une conjecture décrivant le groupe de Grothendieck de cette catégorie comme module sur les algèbres de Hecke affines étendues de G et de H. Notre description est en termes d'un champ attaché aux groupes de Langlands duaux dans le style de l'isomorphisme de Kazhdan-Lusztig. On démontre cette conjecture pour toutes les paires (GL_1, GL_m). Plus généralement, étant donné deux groupes réductifs connexes G et H et un morphisme \check{G}× SL_2 \to \check{H} de groupes de Langlands duaux, on suggère un bimodule sur les algèbres de Hecke affines étendues de G et de H qui pourrait conjecturalement réaliser la fonctorialité de Langlands géométrique locale au niveau Iwahori.
47

An Enlarging Influence: Women of New Orleans, Julia Ward Howe, and the Woman's Department at the Cotton Centennial Exposition, 1884-1885

Pfeffer, Miki 20 May 2011 (has links)
This study investigates the first Woman's Department at a World's Fair in the Deep South. It documents conflicts and reconciliations and the reassessments that post-bellum women made during the World's Industrial and Cotton Centennial Exposition in New Orleans, the region's foremost but atypical city. It traces local women's resistance to the appointment of northern abolitionist and suffragist, Julia Ward Howe, for this “New South” event of 1884-1885. It also notes their increasing receptivity to national causes that Susan B. Anthony, Frances E. Willard, and others brought to the South, sometimes for the first time. This dissertation assesses the historical forces that goaded New Orleans women, from the comfort of their familiar city, to consider radical notions that would later strengthen them in civic roles. It asserts that, although these women were skilled and capable, they had previously lacked cohesive force and public strategies. It concludes that as local women competed and interacted with women from across the country, including those from pioneering western territories, they began to embrace progressive ideas and actions that, without the Woman's Department at the Exposition, might have taken years to drift southward. This is a chronological tale of the journey late-nineteenth-century women made together in New Orleans. It attempts to capture their look, sound, and language from their own writings and from journalists' interpretations of their ideals, values, and emotions. In the potent forum for exchange that the Woman's Department provided, participants and visitors questioned and revised false notions and stereotypes. They influenced each other and formed alliances. Although individuals spoke mainly for themselves, common themes emerged regarding education, jobs, benevolence, and even suffrage. Most women were aware that they were in a defining moment, and this study chronicles how New Orleans women seized the opportunity and created a legacy for themselves and their city. As the Exposition sought to (re)assert agrarian and industrial prowess after turbulent times, a shift occurred in the trajectory of women's public and political lives in New Orleans and, perhaps, the South more broadly. By 1885, southerners were ready to insinuate their voices into the national debate on women's issues.
48

Exhibiting Women: Sectional Confrontation and Reconciliation in the Woman's Department at the World's Exposition, New Orleans, 1884-85

Pfeffer, Miki 22 May 2006 (has links)
At the World's Industrial and Cotton Centennial Exposition, the Woman's Department offered women of all regions of the country an opportunity to exhibit what they considered "woman's work." As women came together and attempted sectional reconciliation, controversy persisted, especially over the selection of northern suffragist Julia Ward Howe, author of the "Battle Hymn of the Republic," as the Department's president. However, during the course of the event, which lasted from December 16, 1884 to May 31, 1885, New Orleanians and other southern women learned skills and strategies from participants and famous women visitors, and these southerners insinuated their voices into the national debate on late-nineteenth-century women's issues.
49

Development and Structural Investigation of Monocoque Fibre Composite Trusses

Humphreys, Matthew January 2003 (has links)
Fibre composite materials are gaining recognition in civil engineering applications as a viable alternative to traditional materials. Their migration from customary automotive, marine, aerospace and military industries into civil engineering has continued to gain momentum over the last three decades as new civil engineering applications develop. The use of fibre composite materials in civil engineering has now evolved from non-structural applications, such as handrails and cladding, into primary structural applications such as building frames, bridge decks and concrete reinforcement. However, there are issues which are slowing the use of fibre composite materials into civil engineering. Issues include high costs, difficulties in realising potential benefits, general lack of civil engineers' familiarity with the material and relatively little standardisation in the composites industry. For composites to truly offer a viable alternative to traditional construction materials in the civil engineering marketplace, it is essential that these issues be addressed. It is proposed that this situation could be improved by demonstrating that potential benefits offered by composites can be achieved with familiar civil engineering forms. These forms must be well suited to fibre composite materials and be able to produce safe and predictable civil engineering structures with existing structural engineering methods. Of the numerous structural forms currently being investigated for civil engineering applications, the truss form appears particularly well suited to fibre composites. The truss is a familiar structural engineering form which possesses certain characteristics that make it well suited to fibre composite materials. In this research a novel monocoque fibre composite truss concept was developed into a working structure and investigated using analytical and experimental methods. To the best of the author's knowledge the research presented in this thesis represents the first doctoral research into a structure of this type. This thesis therefore presents the details of the development of the monocoque fibre composite (MFC) truss concept into a working structure. The developed MFC truss was used as the basis for a detailed investigation of the structural behaviour of the MFC truss elements and the truss as a whole. The static structural behaviour of the principal MFC truss elements (tension members, compression members and joints) was investigated experimentally and analytically. Physical testing required the design and fabrication of a number of novel test rigs. Well established engineering principles were used along with complex finite element models to predict the behaviour of the tested truss elements and trusses. Results of the theoretical analysis were compared with experimental results to determine how accurately their static structural behaviour could be predicted. It was found that the static structural behaviour of all three principal truss elements could be accurately predicted with existing engineering methods and finite element analysis. The knowledge gained from the investigation of the principal truss elements was then used in an investigation of the structural behaviour of the MFC truss. Three full-scale MFC trusses were fabricated in the form of conventional Pratt, Howe and Warren trusses and tested to destruction. The investigation included detailed finite element modelling of the full-scale trusses and the results were compared to the full-scale test results. Results of the investigation demonstrated that the familiar Pratt, Howe and Warren truss forms could be successfully manufactured with locally available fibre composite materials and existing manufacturing technology. The static structural behaviour of these fibre composite truss forms was accurately predicted with well established engineering principles and finite element analysis. A successful marriage between fibre composite materials and a civil engineering structure has been achieved. Monocoque fibre composite trusses have been developed in the familiar Pratt, Howe and Warren truss forms. These structures possess characteristics that make them well suited to applications as primary load bearing structures.
50

On operational properties of quantitative extensions of lambda-calculus

Alberti, Michele 05 December 2014 (has links)
Cette thèse porte sur les propriétés opérationnelles de deux extensions quantitatives du λ-calcul pur : le λ-calcul algébrique et le λ-calcul probabiliste.Dans la première partie, nous étudions la théorie de la β-réduction dans le λ-calcul algébrique. Ce calcul permet la formation de combinaisons linéaires finies de λ-termes. Bien que le système obtenu jouisse de la propriété de Church-Rosser, la relation de réduction devient triviale en présence de coefficients négatifs, ce qui la rend impropre à définir une notion de forme normale. Nous proposons une solution qui permet la définition d'une relation d'équivalence sur les termes, partielle mais cohérente. Nous introduisons une variante de la β-réduction, restreinte aux termes canoniques, dont nous montrons qu'elle caractérise en partie la notion de forme normale précédemment établie, démontrant au passage un théorème de factorisation.Dans la seconde partie, nous étudions la bisimulation et l'équivalence contextuelle dans un λ-calcul muni d'un choix probabliste. Nous donnons une technique pour établir que la bisimilarité applicative probabiliste est une congruence. Bien que notre méthode soit adaptée de celle de Howe, certains points techniques sont assez différents, et s'appuient sur des propriétés non triviales de « désintrication » sur les ensembles de nombres réels. Nous démontrons finalement que, bien que la bisimilarité soit en général strictement plus fine que l'équivalence contextuelle, elles coïncident sur les λ-termes purs. L'égalité correspondante est celle induite par les arbres de Lévy-Longo, généralement considérés comme l'équivalence extensionnelle la plus fine pour les λ-termes en évaluation paresseuse. / In this thesis we deal with the operational behaviours of two quantitative extensions of pure λ-calculus, namely the algebraic λ-calculus and the probabilistic λ-calculus.In the first part, we study the β-reduction theory of the algebraic λ-calculus, a calculus allowing formal finite linear combinations of λ-terms to be expressed. Although the system enjoys the Church-Rosser property, reduction collapses in presence of negative coefficients. We exhibit a solution to the consequent loss of the notion of (unique) normal form, allowing the definition of a partial, but consistent, term equivalence. We then introduce a variant of β-reduction defined on canonical terms only, which we show partially characterises the previously established notion of normal form. In the process, we prove a factorisation theorem.In the second part, we study bisimulation and context equivalence in a λ-calculus endowed with a probabilistic choice. We show a technique for proving congruence of probabilistic applicative bisimilarity. While the technique follows Howe's method, some of the technicalities are quite different, relying on non-trivial "disentangling" properties for sets of real numbers. Finally we show that, while bisimilarity is in general strictly finer than context equivalence, coincidence between the two relations is achieved on pure λ-terms. The resulting equality is that induced by Lévy-Longo trees, generally accepted as the finest extensional equivalence on pure λ-terms under a lazy regime.

Page generated in 0.0232 seconds