Login / Signup

Predicative Programming - A Survey.

Jim Grundy
Published in: Formal Methods in Programming and Their Applications (1993)
Keyphrases