Search

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

Search Constraints

Start Over You searched for: Author "Ciancaglini M" Remove constraint Author: "Ciancaglini M"
335 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

34. Termination tests inside λ-calculus

37. Preface

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

42. A Formalism for the Description of Protein Interaction

43. BÖHM'S THEOREM

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

Catalog

Books, media, physical & digital resources