3,191 results on '"A. Dal Lago"'
Search Results
152. On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice.
153. Probabilistic Termination by Monadic Affine Sized Typing.
154. Intersection types and runtime errors in the pi-calculus.
155. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.
156. Ectopic pregnancy: a literature review
157. Performance study of precast reinforced concrete shear walls with steel columns containing friction-bearing devices
158. Validity and reliability of the Glittre-ADL test in individuals with idiopathic pulmonary fibrosis.
159. A randomized study to compare the effects of EMDR added to TAU on substance memory in a residential addiction setting.
160. Mechanisms of Diffusion of Radon in Buildings and Mitigation Techniques
161. The Impact of Nutritional Therapy in the Management of Overweight/Obese PCOS Patient Candidates for IVF
162. Farmed fish welfare during slaughter in Italy: survey on stunning and killing methods and indicators of unconsciousness
163. Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems.
164. The Space of Interaction (long version).
165. On Counting Propositional Logic.
166. Modal Reasoning = Metric Reasoning, via Lawvere.
167. Phase II Clinical Trial of Axitinib and Avelumab in Patients With Recurrent/Metastatic Adenoid Cystic Carcinoma
168. Multi-Stripe Seismic Assessment of Precast Industrial Buildings With Cladding Panels
169. Prostate Cancer and Reactive Haemophagocytic Lymphohistiocytosis
170. On Higher-Order Probabilistic Subrecursion.
171. Effectful applicative bisimilarity: Monads, relators, and Howe's method.
172. The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens.
173. Effectful Applicative Similarity for Call-by-Name Lambda Calculi.
174. Metric Reasoning About \lambda -Terms: The General Case.
175. Probabilistic Termination by Monadic Affine Sized Typing.
176. The geometry of parallelism: classical, probabilistic, and quantum effects.
177. Turning a Lean Business Model into a Successful Start-up in the Wearable Technology Sector: The Case of Clara Swiss Tech
178. On Higher-Order Probabilistic Subrecursion
179. Probabilistic Termination by Monadic Affine Sized Typing
180. Metric Reasoning About -Terms: The General Case
181. Efficacy of roof-to-beam mechanical connections on the diaphragm behaviour of precast decks with spaced roof elements
182. Can RR intervals editing and selection techniques interfere with the analysis of heart rate variability?
183. On sharing, memoization, and polynomial time
184. Experimental tests on multiple-slit devices for precast concrete panels
185. Sarcoidosis Versus Lymphoma?
186. The effect of adjuvant chemotherapy on symptom burden and quality of life over time; a preliminary prospective observational study using individual data of patients aged ≥ 70 with early stage invasive breast cancer
187. Exercise training improves the IL-10/TNF-α cytokine balance in the gastrocnemius of rats with heart failure
188. Use of granulocyte-colony stimulating factors in older patients: a review of recently published data
189. A Diagrammatic Calculus for Algebraic Effects.
190. The Abstract Machinery of Interaction (Long Version).
191. The (In)Efficiency of Interaction.
192. On Higher-Order Cryptography (Long Version).
193. Intersection Types and (Positive) Almost-Sure Termination.
194. On the Termination Problem for Probabilistic Higher-Order Recursive Programs.
195. On probabilistic term rewriting.
196. The Specter of Confederate Secession in Early Post-Unification Italy
197. Conclusion
198. Economic Progress, Markets, and Railroads in Lincoln’s and Cavour’s Early Careers
199. Inner Civil Wars in the Confederate South and the Italian Mezzogiorno, 1861–1865
200. Progressive Nationalism, Politics, and National Unifications: Lincoln and Cavour after 1850
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.