Searched defs:Kinds (Results 1 - 2 of 2) sorted by relevance

/hets/doc/
H A Dhs2isa.tex347 \section{Translation of Kinds and Type Classes}
/hets/HasCASL/doc/
H A DStaticAna.tex37 Kinds are constructed from classes, types from type
51 \subsection{Kinds}
53 Kinds and classes are basically constructed from the universe class
0 \\documentclass{article} subsubsection

Completed in 14 milliseconds