../code/conceptPage.scroll

id lnf
name LNF
appeared 1985
tags pl
lab Syracuse University

country United States
reference http://foldoc.org/LNF
reference https://dl.acm.org/doi/abs/10.5555/912525

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