1
by Ganesalingam, Mohan
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... and Open Types -- 5.4 Types in Mathematics -- 5.4.1 Presenting Type: Syntax and Semantics -- 5.4.2...