The CAML Reference Manual, Version 2.6. Projet Formel, INRIA-ENS (1989)

by Pierre Weis
Venue:21 5.2.1 The System : : : : : : : : : : : : : : : : : : : : : : : : : : : : 21 5.2.2 The Signature \Sigma v : : : : : : : : : : : : : : : : : : : : : : : : 22 5.3 The Lambda I Calculus : : : : : : : : : : : : : : : : : : : : : : : : : : 23 5.3.1 The Syste