../code/conceptPage.scroll

id synproc
name SYNPROC
appeared 1970
tags pl

reference https://semanticscholar.org/paper/e3d95f29f65dfbd24376403b75a7008ede6f20e0

hopl https://hopl.info/showlanguage.prx?exp=6528