Styles of Legislation and Their Effects

Trias Europea: de verhoudingen tussen de overheidsmachten in de EU en de lidstaten in een bewegend constitutioneel landscha

Concern about the Quality of EU Legislation: What Kind of Problem, by What Kind of Standards?

Over the last decade the interest in the quality of EU legislative instruments has surged due to serious threats to the effectiveness of the legislation. This contribution makes an inventory of the policies and instruments that have been put into place to improve quality of legislation and assesses their character, orientation and effectiveness. Any appraisal of these policies, so the paper argues, is dependent on a perception of the basic functions attributed to EU legislative instruments and the standards derived from it. The paper concludes that the present policies and instruments for Better lawmaking have the ability to promote regulatory quality, but not necessarily overall legislative quality

Monitoring ClimecoVent-systeem in de praktijk - Technisch, teeltkundig en economisch onderzoek naar een energiezuinige kas bij kwekerij Grenspaal B.V.

De tomatentelers Noud en Roy Steegh zijn in januari 2009 op kwekerij Grenspaal te Wellerlooi (L) gestart met een nieuwe kas, voorzien van het ClimecoVent-systeem. Met het ClimecoVent-systeem wordt beoogd zodanig energie te besparen dat de warmtevraag bij een tomatenteelt neerkomt op een aardgasverbruik van 25 tot 30 m3/m2. De productiedoelen liggen gelijk aan die van een standaard tomatenteelt. Gezien het innovatieve en energiezuinige karakter van het ClimecoVent-systeem, heeft Wageningen UR in samenwerking met Climeco het systeem bij kwekerij Grenspaal over een tijdsspanne van ruim een jaar gemonitord in opdracht van het programma “Kas als Energiebron”. Doordat minder gas is gebruikt voor de verwarming van de kas is ook minder CO2 beschikbaar. In combinatie met de schaduwwerking van het extra scherm zou hiermee mogen worden verwacht dat het productieniveau achterblijft, maar dat is niet gebleken

A Calculational Theory of Pers as Types

In the calculational approach to programming, programs are derived from specifications by algebraic reasoning. This report presents a calculational programming framework based upon the notion of binary relations as programs, and partial equivalence relations (pers) as types. Working with relations as programs generalises the functional paradigm, admiting non-determinism and the use of relation converse. Working with pers as types permits a natural treatment of types that are subject to laws and restrictions