This house is the Barcelona Pavilion buit by Mies van der Rohe in the thirties. It's often compared to the Maxwell's equations of architecture. As are the rules

This house is the Barcelona Pavilion buit by Mies van der Rohe in the thirties. It's often compared to the Maxwell's equations of architecture. As are the rules defining the λ-calculus:[ e := v | λv.e | ee ] written upon the picture. I must admit it's a little "cryptic". What I'm trying to do is quickly explained in the Abstract below the picture. and in deep in the rest of the paper. Probably it's not clear enough. Sorry.