John C. Mitchell. Foundations for programming languages. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1996, xix + 846 pp

Bibliographic Details

Published in:	The Journal of symbolic logic 1999-06, Vol.64 (2), p.918-922
Main Author:	Avron, Arnon
Format:	Article
Language:	eng
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!