We present a type inference system for pure -calculus which includes, in addition to arrow types, also universal and existential type quanti ers, intersection and union types, and type recursion. The interest of this system lies in the fact that it o ers a possibility to study in a uni ed framework a wide range of type constructors. We investigate the main syntactical properties of the system, ...

Abstract This paper analyses the interrelations between academic disciplines and society beyond academia by case of sociology in Norway. For that purpose, this introduces concept disciplines’ societal territories, which refer to bounded spaces are shaped knowledge a discipline, premised on linkages discipline its audience. By mapping sociologists’ reported contributions changes academia, firstl...

Anatomy & Structural Biology [1] 1. Biochemistry & Molecular Biology [2] 2. Cell Biology [3] 3. Complementary & Alternative Medicine [4] 4. Department of Medicine Databases for Clinical Educators & Case Studies [5] 5. Dermatology [6] 6. Epidemiology [7] 7. Ethics & Humanities in the Life Sciences [8] 8. Family Medicine [9] 9. Geriatrics [10] 10. Histology [11] 11. Human Pathology [12] 12. Micro...

We propose a class of non-work-conserving service disciplines, called the Rate-Controlled Service Disciplines. When coupled with suitable admission control algorithms, Rate-Controlled Service Disciplines can provide end-to-end deterministic and statistical performance guarantees on a per-connection basis in an arbitrary topology packet-switching network. The key feature of a rate-controlled ser...