Sto lavorando a Fondamenti pratici per i linguaggi di programmazione ma sto trovando alcuni della notazione difficile da seguire. Nella sezione 3.3 (pagina 46 del PDF collegato) l'autore introduce una notazione a barre verticali che immagino provenga da qualche parte nella logica formale e non sono sicuro di come interpretarla.
Generic derivability judgment is defined by:
Parametric derivability is defined by:
Come dovrebbe il | e || simboli da capire?