Concepedia
Statistics
Publications
1
Citations
81
H-Index
Active since
1973
Gerard P. Hubt is an author specializing in type theory, predicate logic, and mathematics.
Publications per year
1973–1973
A mechanization of type theory
Gerard P. Hubt · 1973 · 81 citations
Computing, Computer Science, Mathematics +10
1–1 of 1