1ML

swMATH19983MaRDI QIDQ31806

No author found.

Described by source

• 1ML – core and modules united (F-ing first-class modules)

Related Items (3)

The Essence of Dependent Object Types ⋮ 1ML with Special Effects ⋮ 1ML – Core and modules united

This page was built for software: 1ML