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

Joseph A. Goguen, José Meseguer

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)179-210
Number of pages32
JournalThe Journal of Logic Programming
Volume1
Issue number2
DOIs
StatePublished - Aug 1984
Externally publishedYes

ASJC Scopus subject areas

  • Logic

Cite this