Weak Systems of Set Theory Related to HOL
Authors:
Thomas Forster
Affiliations:
-
Venue:
Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications
Year:
1994
Citing
0
Cited
1
Type inference for set theory
Theoretical Computer Science
Quantified Score
Hi-index
0.00
Visualization
Abstract