Irina Bercovici Unsolvable Terms in Typed Lambda Calculus with Fixpoint Operators (Extended Abstract). 16-22 1985 conf/lop/1985 Logic of Programs db/conf/lop/lop1985.html#Bercovici85