rtt

MaRDI QIDQ25292swMATHFDO

Official website http://math.boisestate.edu/~holmes/holmes/rttcover.html

Described by source

• Polymorphic type-checking for the ramified theory of types of \textit{Principia mathematica}

This page was built for software: rtt