On the Expressiveness of equational type logic

V. Manca, A. Salibra, Giuseppe Scollo

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageUndefined
Title of host publicationThe Unified Computation Laboratory
Place of PublicationOxford
PublisherOxford University Press
Pages85-100
Number of pages0
Publication statusPublished - 1992

Keywords

  • METIS-118911

Cite this

Manca, V., Salibra, A., & Scollo, G. (1992). On the Expressiveness of equational type logic. In The Unified Computation Laboratory (pp. 85-100). Oxford: Oxford University Press.
Manca, V. ; Salibra, A. ; Scollo, Giuseppe. / On the Expressiveness of equational type logic. The Unified Computation Laboratory. Oxford : Oxford University Press, 1992. pp. 85-100
@inbook{30a38549b0d546dbb90bf39216f7f022,
title = "On the Expressiveness of equational type logic",
keywords = "METIS-118911",
author = "V. Manca and A. Salibra and Giuseppe Scollo",
year = "1992",
language = "Undefined",
pages = "85--100",
booktitle = "The Unified Computation Laboratory",
publisher = "Oxford University Press",
address = "United Kingdom",

}

Manca, V, Salibra, A & Scollo, G 1992, On the Expressiveness of equational type logic. in The Unified Computation Laboratory. Oxford University Press, Oxford, pp. 85-100.

On the Expressiveness of equational type logic. / Manca, V.; Salibra, A.; Scollo, Giuseppe.

The Unified Computation Laboratory. Oxford : Oxford University Press, 1992. p. 85-100.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

T1 - On the Expressiveness of equational type logic

AU - Manca, V.

AU - Salibra, A.

AU - Scollo, Giuseppe

PY - 1992

Y1 - 1992

KW - METIS-118911

M3 - Chapter

SP - 85

EP - 100

BT - The Unified Computation Laboratory

PB - Oxford University Press

CY - Oxford

ER -

Manca V, Salibra A, Scollo G. On the Expressiveness of equational type logic. In The Unified Computation Laboratory. Oxford: Oxford University Press. 1992. p. 85-100