Thesis (M. Phil.)--University of Hong Kong, 2006. / Title proper from title frame. Also available in printed format.

Thesis (Ph. D.)--University of Texas at Austin, 2005. / Supervisor: Lisa L. Moore. Vita. Includes bibliographical references.

Thesis (Ph. D.)--University of Washington, 1987. / Vita. Bibliography: leaves [299]-310.

Diss.--Bochum--Universität, 1989. / Bibliogr. p. 305-320.

No description available.

No description available.

The influence of Sir Walter Scott was strongly felt in all branches of French Romantic literature. The dramatists went repeatedly to the Waverley Novels for their plots, and many of the more original plays of the period show positive traces of the influence of Scott in character, dialogue and incident. The poets and novelists learned from Scott the art of portraiture and of landscape painting. To this must be added the far greater skill of combining character and background in such a manner as to bring out the salient traits of the former. This was Scott's greatest and most original contribution. Hugo, one of the first French writers to come under the influence of the author of Waverley, was also unquestionably the most strongly affected. His early critical writings show the keen interest with which he followed the translations of the Waverley. Furthermore, it was from his first readings of Scott that Hugo conceived the method of novel-writing which he was to use with such great success in his later prose works. The current Romantic interest in the picturesque stemmed largely from Scott. The glittering pageantry of the Middle Ages, the spirited account of battles and tournaments, all of which were already to be found in their own literature, came to French writers principally through the medium of Scott. Coupled with this search for the picturesque in all its forms was the quest for local colour. The combination of these two elements in Scott and their further development in Hugo, gave to French fictional literature a verisimilitude hitherto unattained. / Arts, Faculty of / French, Hispanic, and Italian Studies, Department of / Graduate

Lambda encodings (such as Church encoding, Scott encoding and Parigot encoding) are methods to represent data in lambda calculus. Curry-Howard correspondence relates the formulas and proofs in intuitionistic logics to the types and programs in typed functional programming languages. Roughly speaking, Type theory (Intuitionistic Type Theory) formulates the intuitionistic logic in the style of typed functional programming language. This dissertation investigates the mechanisms to support lambda encodings in type theory. Type theory, for example, Calculus of Constructions(CC) does not directly support inductive data because the induction principle for the inductive data is proven to be not derivable. Thus inductive data together with inductive principle are added as primitive to CC, leading to several nontrivial extensions, e.g. Calculus of Inductive Constructions. In this dissertation, we explore alternatives to incorporate inductive data in type theory. We propose to consider adding an abstraction construct to the intuitionistic type to support lambda-encoded data, while still be able to derive the corresponding induction principle. The main benefit of this approach is that we obtain relatively simple systems, which are easier to analyze and implement.

Denna uppsats syftar till att ur ett designperspektiv undersöka och analysera hurartisten Travis Scott kommunicerar sitt varumärke genom sin visuella identitet.. Iuppsatsen använder vi oss av en kvantitativ innehållsanalys där vi analyserar 100stycken inlägg från artistens profil på den sociala plattformen instagram. I analysentittade vi på hur många av inlägg som innehåller samarbeten, logotyp, båda ikombination eller inget av ovanstående. Slutsatsen visar att återkommandedesignelement i artisten Travis Scotts visuella identitet handlar främst om logotypen ikombination med samarbeten. Scotts unika sätt att använda en förenklad version avsin logotyp integrerat med samarbetsparten möjliggör för en stor variation avsamarbeten då Scotts logotyp är utformat på ett sätt som fungerar på de flestaprodukter, det kan vi se på hans variation av samarbeten med till exempelMcDonalds, Fortnite och Dior.

No description available.