![]() ![]() Logics of the second and higher orders may be regarded as type -theoretic systems. Grishin (originator), Encyclopedia of Mathematics. (''Note : this to the notion of "data type" in computing theory.)
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |