Lambda-calcul, types et modèles
Publisher: Dunod
Published: December 1, 1997
Format: Paperback
Number of pages: 176
ISBN-13: 9782225820915