../code/conceptPage.scroll

id tfl
name TFL
appeared 1996
tags pl

reference https://semanticscholar.org/paper/04a0fbae513a8f13a75eb0667e62d4f9954993ca

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