UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 6499
DCS Tech Report Number: TR-1998-9

The Cut Rule and Explicit Substitutions (Author's Cut)
Vestergaard,R.

Publication Type: Tech Report (internal)
Appeared in: DCS Tech Report
Page Numbers :
Publisher: Dept of Computing Science, University of Glasgow
Year: 1998
Abstract:

No abstract available.


Bibtex entry Endnote XML