10 results on '"Ciancaglini M"'
Search Results
2. Security Types for Mobile Safe Ambients
3. Types for Trees
4. Thyroid-associated ophthalmopathy: a new sign
5. May and must convergency in concurrent λ-calculus
6. F-semantics for intersection type discipline
7. Listing of information structures defined by fixed-point operators
8. Termination tests inside λ-calculus
9. (Semi)-separability of finite sets of terms in Scott's D∞-models of the λ-calculus
10. Functional characterization of some semantic equalities inside λ-calculus
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.