Leibniz equality is isomorphic to Martin-Löf identity, parametrically

Consider two widely used definitions of equality. That of Leibniz: One value equals another if any predicate that holds of the first holds of the second. And that of Martin-Löf: The type identifying one value with another is occupied if the two values are identical. The former dates back several centuries, while the latter is widely used in...

Van ziekenhuis naar beterhuis

Van oudsher zijn daglicht en frisse lucht belangrijke factoren in het bepalen van maat, schaal en vorm van ziekenhuisgebouwen. In de 20ste eeuw hebben gunstige ruimtelijke condities voor een efficiënte bedrijfsvoering de hoogste prioriteit gekregen. Tegenwoordig wordt vooral de patiënt centraal gesteld. Wat betekent dit nu voor het gebouw? In...