Significato / utilizzo della barra verticale in Pratiche basi per linguaggi di programmazione?

1

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:

enter image description here

Parametric derivability is defined by:

enter image description here

Come dovrebbe il | e || simboli da capire?

    
posta Kvass 23.12.2018 - 21:28
fonte

1 risposta

0

Quella parte del testo è che definisce cosa significano le barre verticali. Lo scrivi quando tieni il lato destro dell'if.

    
risposta data 23.12.2018 - 21:36
fonte

Leggi altre domande sui tag