Canlyniadau Chwilio - "Type theory."

The theory of logical types gan Copi, Irving M.

Type theory and formal proof an introduction gan Nederpelt, Rob, Geuvers, Herman

Treatise on intuitionistic type theory gan Granström, Johan Georg

Available for UP System via Springer Link.