Induction in the elementary theory of types and names (1988)

by Gerhard Jäger
Venue:Computer Science Logic ’87