../code/conceptPage.scroll

id turing-plus
name Turing Plus
appeared 1987
tags pl

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

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