Locally modular regular types
1987 ◽
pp. 132-164
◽