Termination of rewrite relations on $\lambda$-terms based on Girard's notion of reducibility [PDF]
, 2015 In this paper, we show how to extend the notion of reducibility introduced by Girard for proving the termination of $\beta$-reduction in the polymorphic $\lambda$-calculus, to prove the termination of various kinds of rewrite relations on $\lambda$-terms,
Blanqui, Frédéric
core +4 more sources
ChemPlusChem, Volume 91, Issue 1, January 2026.The image summarizes the main finding of our assessment of VOC emissions from archival box materials. VOCs from archive boxes were analyzed using GC–MS, IC, and Oddy tests. While some storage materials showed hazards at elevated temperatures, acetic and formic acid emissions at room temperature were very low.
Randa Deraz +7 more
wiley +1 more source
LOAN WORDS AS SHAPERS OF IDENTITY IN SEVENTEENTHCENTURY MALAY: A HISTORICAL LINGUISTICS STUDY OF CHRISTIAN SONGS INTRODUCED BY THE VOC [PDF]
, 2015 The presence of loan words in a language shows the long-standing interactions between that particular language as a recepient and its donors. Over time, these loan words are absorbed into the recipient language and they become a part of the linguistic ...
Thianto, Yudha
core
ChemPlusChem, Volume 90, Issue 12, December 10, 2025.The image illustrates a multi‐technique analysis of Islamic‐African manuscripts from the nineteenth to twentieth centuries. It highlights methods like microscopy, hyperspectral imaging, FTIR, LIF, Raman, LIBS, and furnish analysis used to study paper fibers, inks, and dyes—revealing a blend of local and trade materials and a rich fusion of Qur’anic and
Abdelrazek Elnaggar +12 more
wiley +1 more source
Hematoma espontáneo de la vaina del recto anterior del abdomen
Cirugía del Uruguay, 2020 Presentado en sesión de 11 de julio de ...
Rolando Grasso
doaj
RUTA MIGRATORIA, FENOLOGÍA Y SITIOS DE PARADA DEL ZARAPITO DE PICO RECTO (LIMOSA HAEMASTICA) DURANTE SU CICLO MIGRATORIO (2016-2017) ENTRE CHILOÉ Y ALASKA [PDF]
, 2022 Claudio Delgado +4 more
openalex +1 more source
The intestine as a diagnostic character in identifying certain clupeoids (Engraulididae, Clupeidae, Dussumieriidae) and as a morphometric character for comparing anchoveta (Centengraulis mysticetus) populations [PDF]
, 1958 ENGLISH: The several species of clupeoid fishes used as baitfish in the Eastern Pacific tuna fishery are, in some cases, sufficiently similar to make identification difficult.
Horder, Wilhelm
core
Método de estudio en la extensión linfática del cáncer rectal
Cirugía del Uruguay, 2020 Presentado en sesión de 6 de junio de ...
Luis M Bosch del Marco, Américo Fossati
doaj
Fundamentos de la resección primaria del cáncer de colon en agudo
Cirugía del Uruguay, 2021 Frente al cáncer de colon con una complicación aguda, el tratamiento conservador y en operaciones seriadas ha tenido pobres resultados. Estos, según la experiencia de los últimos años de diversos autores y la propia, han mejorado con la resección ...
Bolívar Delgado
doaj
Text Line Segmentation of Historical Documents: a Survey
, 2007 There is a huge amount of historical documents in libraries and in various National Archives that have not been exploited electronically. Although automatic reading of complete pages remains, in most cases, a long-term objective, tasks such as word ...
A. Amin +26 more
core +1 more source