../code/conceptPage.scroll

id tics
name TICS
appeared 1973
tags pl

reference https://semanticscholar.org/paper/8a5c0c334425bb5589dca451049b1d47e74b9e68

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