Jump inversion, linear orderings, and types, ASL Winter Meeting, Baltimore, Maryland. Conference Paper uri icon