A type-theoretic interpretation of constructive domain theory (1996)

by Michael Hedberg
Venue:Journal of Automated Reasoning