../code/conceptPage.scroll

id edinburgh-lcf
name Edinburgh LCF
appeared 1979
tags pl
lab Polish Academy of Sciences

country Poland
reference https://semanticscholar.org/paper/fc7a2878a4edea597992902e84b2adea9bbc758d

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