A formalization of Sambins's normalization for GL
Edward Hermann Haeusler, Luiz Carlos PereiraVolume:
39
Year:
1993
Language:
english
Pages:
10
DOI:
10.1002/malq.19930390116
File:
PDF, 529 KB
english, 1993