../code/conceptPage.scroll

id viva
name VIVA
appeared 1990
tags pl

reference https://semanticscholar.org/paper/4ec40622982b0632eec5699037a828942728df66

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