Rewriting in Cambridge LCF
de Lawrence C. Paulson · Publicada por primera vez en 1987
Ediciones (1)
- Rewriting in Cambridge LCF. (1987)
University of Cambridge, Computer Laboratory · inglés
de Lawrence C. Paulson · Publicada por primera vez en 1987
University of Cambridge, Computer Laboratory · inglés
1988
