Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
A note on representation and semantics in logical frameworks
QMRO Home
School of Electronic Engineering and Computer Science
Department of Computer Science Technical Reports: up to 1999
A note on representation and semantics in logical frameworks
QMRO Home
School of Electronic Engineering and Computer Science
Department of Computer Science Technical Reports: up to 1999
A note on representation and semantics in logical frameworks
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
A note on representation and semantics in logical frameworks
View/
Open
725_Pym_1996.pdf (484.5Kb)
Series
Department of Computer Science Technical Report;725 1996
ISSN
1369-1961
Metadata
Show full item record
Authors
Pym, David
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/4572
Collections
Department of Computer Science Technical Reports: up to 1999
[86]