Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is F and Author is Andrei Popescu [Clear All Filters]
, “From Types to Sets by Local Type Definitions in Higher-Order Logic”, in Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP), 2016.