Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathemati
This book concerns the implications and interrelations of key concepts of culture, defending an updated communicative notion of culture as meaning-making against a series of current challenges. The fi
Sheep farming, whether for meat or wool, has always been an essential component in diversifying farming systems, particularly in exploiting land unsuitable for arable crops. It has been estimated that
Wilfred (alias Little Lord) is a privileged young man growing up in Kristiania (Oslo) during the halcyon days before the First World War. Beneath the well-adjusted surface, runs a darker current. This
Structural concrete designers nowadays distinguish between B-regions (named after Bernoulli beam theory) and D-regions (D standing for ‘disturbed’). They are all familiar with B-regions, but less acqu
This book focuses on the origin of the Gielis curves, surfaces and transformations in the plant sciences. It is shown how these transformations, as a generalization of the Pythagorean Theorem, play an