Search

Your search keyword '"Ciancaglini M"' showing total 320 results

Search Constraints

Start Over You searched for: Author "Ciancaglini M" Remove constraint Author: "Ciancaglini M" Publication Year Range Last 50 years Remove constraint Publication Year Range: Last 50 years
320 results on '"Ciancaglini M"'

Search Results

1. Intersection Types and Lambda Theories

2. A Complete Characterization of Complete Intersection-Type Theories

5. Types for Trees

8. Conjunctival characteristics in primary open-angle glaucoma and modifications induced by trabeculectomy with mitomycin C: an in vivo confocal microscopy study

10. Comment on 'Anatomical and functional changes after dexamethasone implant and ranibizumab in diabetic macular edema: a retrospective cohort study'

30. Lambda calcolo

31. Curcuma longa is able to induce apoptotic cell death of pterygium-derived human keratinocytes

32. F-semantics for intersection type discipline

33. Termination tests inside λ-calculus

36. Preface

39. In vitro viability of external eye microbial flora in hydroxy-propyl-methylcellulose

40. A Formalism for the Description of Protein Interaction

41. BÖHM'S THEOREM

42. Vascular risk factors in glaucoma: the results of a national survey

Catalog

Books, media, physical & digital resources