Equality, types, modules, and (why not?) generics for logic programming

Joseph A. Goguen; José Meseguer

doi:10.1016/0743-1066(84)90004-9

Equality, types, modules, and (why not?) generics for logic programming

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	179-210
Number of pages	32
Journal	The Journal of Logic Programming
Volume	1
Issue number	2
DOIs	https://doi.org/10.1016/0743-1066(84)90004-9
State	Published - Aug 1984
Externally published	Yes

ASJC Scopus subject areas

Logic

Online availability

10.1016/0743-1066(84)90004-9

Library availability

Discover UIUC Full Text

Cite this

@article{913e15da6e0548f090e9893ea8f7d8b3,

title = "Equality, types, modules, and (why not?) generics for logic programming",

author = "Goguen, {Joseph A.} and Jos{\'e} Meseguer",

year = "1984",

month = aug,

doi = "10.1016/0743-1066(84)90004-9",

language = "English (US)",

volume = "1",

pages = "179--210",

journal = "Journal of Logic Programming",

issn = "0743-1066",

publisher = "Elsevier BV",

number = "2",

}

TY - JOUR

T1 - Equality, types, modules, and (why not?) generics for logic programming

AU - Goguen, Joseph A.

AU - Meseguer, José

PY - 1984/8

Y1 - 1984/8

UR - http://www.scopus.com/inward/record.url?scp=0021478416&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0021478416&partnerID=8YFLogxK

U2 - 10.1016/0743-1066(84)90004-9

DO - 10.1016/0743-1066(84)90004-9

M3 - Article

AN - SCOPUS:0021478416

SN - 0743-1066

VL - 1

SP - 179

EP - 210

JO - Journal of Logic Programming

JF - Journal of Logic Programming

IS - 2

ER -

Equality, types, modules, and (why not?) generics for logic programming

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this