../code/conceptPage.scroll

id abstracto
name Abstracto
appeared 1979
tags pl
lab Center for Mathematics and Computer Science-Amsterdam

reference https://semanticscholar.org/paper/85863dbe91ea270a5010d2edcc637e8647b61825

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