Total objects in inductively defined types
Lill Kristiansen, Dag NormannVolume:
36
Language:
english
Pages:
32
Journal:
Archive for Mathematical Logic
DOI:
10.1007/s001530050073
Date:
October, 1997
File:
PDF, 254 KB
english, 1997