Lectures related to Mass-Made Units: Sustainable Innovation in Architecture

Related lectures (32)

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

Explores kinematics of deformation, focusing on radial and linear expansion, torsion, and rotation by an angle.