The importance of lighting in the interpretations of Christian sacral architecture of the second half of the XX century

The character of architectural space is dependent on the range of aspects that define it.Lighting presents a very significant component of architectural space.Apart from being functionally necessary for carrying out the planned activities, lighting also has a very important role in determining the ambient value of the segments or the entirety of th

read more

Proving Soundness of Extensional Normal-Form Bisimilarities

Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence that relates terms in $lambda$-calculi by decomposing their normal forms into bisimilar subterms.Moreover, it typically allows for powerful up-to techniques, such as bisimulation up to context, which simplify bisimulation proofs even further.However, proving soundness of these

read more