13 results on '"Ciancaglini M"'
Search Results
2. Compositional characterisations of λ-terms using intersection types
3. A Fully Abstract Model for Mobile Ambients
4. The ability of bacteria to use Na-hyaluronate as a nutrient
5. Hypoxanthine and xanthine levels in human aqueous humor from cataractous eyes
6. Colour vision and persistent microalbuminuria in children with type-1 (insulin-dependent) diabetes mellitus: a longitudinal study
7. 2433 Long term results of the krupin eye short valve shunt
8. 2147 Role of topical treatment with heparin eye-drops in the prevention of after-cataract
9. 2234 Tear secretion study in Fuchs' heterochromic iridocyclitis
10. 3347 Metabolism of polycyclic aromatic hydrocarbons in bovine lens
11. A discrimination algorithm inside λ-β-calculus
12. Type theories, normal forms, and D∞-lambda-models
13. Effect of Oral Losartan Potassium Administration on Intraocular Pressure in Normotensive and Glaucomatous Human Subjects
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.