Login / Signup

Inductively Defined Functions (Extended Abstract).

Rod M. Burstall
Published in: TAPSOFT, Vol.1 (1985)
Keyphrases