Publication

Villa: Type or Model? Framing a Contradiction in the Context of Post-war Italy

Related concepts (26)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Italy

Italy (Italia iˈtaːlja), officially the Italian Republic or the Republic of Italy, is a country in Southern and Western Europe. Located in the middle of the Mediterranean Sea, it consists of a peninsula delimited by the Alps and surrounded by several islands. Italy shares land borders with France, Switzerland, Austria, Slovenia and the enclaved microstates of Vatican City and San Marino. It has a territorial exclave in Switzerland, Campione, and some islands in the African Plate.

Unification of Italy

The unification of Italy (Unità d'Italia uniˈta ddiˈtaːlja), also known as the Risorgimento (rɪˌsɔːrdʒɪˈmɛntoʊ, risordʒiˈmento; Resurgence), was the 19th-century political and social movement that resulted in the consolidation of different states of the Italian Peninsula and its outlying isles into a single state in 1861, the Kingdom of Italy. Inspired by the rebellions in the 1820s and 1830s against the outcome of the Congress of Vienna, the unification process was precipitated by the Revolutions of 1848, and reached completion in 1871 after the capture of Rome and its designation as the capital of the Kingdom of Italy.

Kingdom of Italy

The Kingdom of Italy (Regno d'Italia, ˈreɲɲo diˈtaːlja) was a state that existed from 17 March 1861, when Victor Emmanuel II of Sardinia was proclaimed King of Italy, until 2 June 1946, when civil discontent led to an institutional referendum to abandon the monarchy and form the modern Italian Republic. The kingdom was established through the unification of several states over a decades-long process, called the Risorgimento. That process was influenced by the Savoy-led Kingdom of Sardinia, which can be considered Italy's legal predecessor state.

Northern Italy

Northern Italy (Italia settentrionale, Nord Italia, Alta Italia or just Nord) is a geographical and cultural region in the northern part of Italy. It consists of eight administrative regions: Aosta Valley, Emilia-Romagna, Friuli-Venezia Giulia, Piedmont, Liguria, Lombardy, Veneto and Trentino-Alto Adige. As of 2014, its population was 27,801,460. Rhaeto-Romance and Gallo-Italic languages are spoken in the region, as opposed to the Italo-Dalmatian languages spoken in the rest of Italy.

Data type

In computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these values as machine types. A data type specification in a program constrains the possible values that an expression, such as a variable or a function call, might take. On literal data, it tells the compiler or interpreter how the programmer intends to use the data.

Type system

In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.

Italian war crimes

Italian war crimes have mainly been associated with Fascist Italy in the Pacification of Libya, the Second Italo-Ethiopian War, the Spanish Civil War, and World War II. In 1911, Italy went to war with the Ottoman Empire and invaded Ottoman Tripolitania. One of the most notorious incidents during this conflict was the October Tripoli massacre, wherein many civilian inhabitants of the Mechiya oasis were killed over a period of three days as retribution for the execution and mutilation of Italian captives taken in an ambush at nearby Sciara Sciat.

Type theory

In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.

Type safety

In computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.

Strong and weak typing

In computer programming, one of the many ways that programming languages are colloquially classified is whether the language's type system makes it strongly typed or weakly typed (loosely typed). However, there is no precise technical definition of what the terms mean and different authors disagree about the implied meaning of the terms and the relative rankings of the "strength" of the type systems of mainstream programming languages.