329,045 research outputs found
Mgr. Duval et Rome
No full textAttraverso l'analisi di fonti archivistiche e documentarie, il contributo ricostruisce i rapporti e le relazioni del vescovo francese con la Santa Sede e gli ambienti romani, e i modi con i quali essi hanno reagito, interpretato, indirizzato le scelte e le posizioni di Duval di fronte al protrarsi della guerra d'indipendenza, alla sua inattesa conclusione, al cambiamento di scenario e al totale riposizionamento della Chiesa cattolica nell'Algeria araba e indipendente
Map of the seat of war. Supplement to P. S. Duval & Son's military map, showing the locations of the present military operations expressly compiled from the latest surveys.
No full textScale ca. 1:1,950,000.LC Civil War Maps (2nd ed.), 449.4"Entered according to Act of Congress in the year 1861 by P. S. Duval & Son."General map of Virginia, Maryland, and Delaware.Insets: [Washington, D.C.] 8 x 7 cm.-[Baltimore and vicinity] 8 x 7 cm.-[Parts of the Ohio and Mississippi rivers above Memphis] 9 x 9 cm.-Pensacola Bay. 8 x 10 cm.Description derived from published bibliography
Discharge from the Vermont National Guard for duVal Allen, 24 July 1916.
No full textPapers discharging duVal Allen from the Vermont National Guard, dated 24 July 1916 and signed by Capt. B. S. Hyland.duVal Allen was a member of the Norwich University Class of 1919; he left school to serve as a volunteer ambulance driver in World War I. During the war, he served in the ambulance service of both the French and American armies
Archaeologia Belgica, n°s 256 à 259
No full textDuval Noël. Archaeologia Belgica, n°s 256 à 259. In: Bulletin Monumental, tome 144, n°1, année 1986. pp. 57-58
Archaeologia Belgica, n°s 256 à 259
No full textDuval Noël. Archaeologia Belgica, n°s 256 à 259. In: Bulletin Monumental, tome 144, n°1, année 1986. pp. 57-58
Introduction générale
No full textIntroduzione che effettua un bilancio del lavoro effettuato collettivamente nel progetto "Observer l'Observance" (2017-2022)
Diagrammatic logic and exceptions:an introduction
No full textFor dealing with computational effects in computer
science, it may be helpful to use several logics:
typically, a logic with implicit effects for the
language, and a more classical logic for the user.
Hence, the study of computational effects should
take place in a framework where distinct logics
can be related. In this paper, such a framework is
presented: it is a category, called the category
of propagators. Each propagator defines a kind of
logic, called a diagrammatic logic, which is
endowed with a deduction system and a sound notion
of models. Morphisms of propagators provide the
required relationships between diagrammatic
logics. The category of propagators has been
introduced by Duval and Lair in 2002, it is based
on the notion of sketches, which is due to
Ehresmann in the 1960's. Then, the paper outlines
how Duval and Reynaud in 2004 used the category of
propagators for dealing with the computational
effect of raising and handling exceptions. Another
application of diagrammatic logic is presented by
Dominguez et al. in the same conferenc
La véritable suite du Parlement burlesque de Pontoise, contenant les noms et les éloges de quatre nouveaux renégats et la harangue faite par Mazarin à son départ
No full textAttribués à Jean Duval, d'après MoreauMoreau396
La véritable suite du Parlement burlesque de Pontoise, contenant les noms et les éloges de quatre nouveaux renégats et la harangue faite par Mazarin à son départ
No full textMoreau3964Attribués à Jean Duval, d'après Morea
- …
