A Theory of Classes: Proofs and Models

Barney P Hilken, David E Rydeheard

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	95-127
Number of pages	33
Journal	Mathematical Structures in Computer Science
Volume	7
Issue number	2
Publication status	Published - 1997

Access to Document

@article{a1a3ea38be3a4747b4c52f9880b658ea,

title = "A Theory of Classes: Proofs and Models",

author = "Hilken, {Barney P} and Rydeheard, {David E}",

year = "1997",

language = "English",

volume = "7",

pages = "95--127",

journal = "Mathematical Structures in Computer Science",

issn = "1469-8072",

publisher = "Cambridge University Press",

number = "2",

}