What is this notation style called? I was reading a paper about implementing the statistical programming language R on the JVM, and encountered this notation I haven't seen before (I'm not formally CS-trained). What is the name of notational style? I've seen it before in other papers--usually as it related to functional programming and the REPL.
It is notation for Formal Proofs and specification of language grammar in Backus-Naur Form.