Algebra of constructions. I. The word problem for partial algebras

Authors:
Adam Obtulowicz
Affiliations:
-
Venue:
Information and Computation
Year:
1987

Citing 0
Cited 1

Life without the Terminal Type

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract