Structure and representation in LF/

Main Author: Harper, Robert
Corporate Author: Carnegie-Mellon University. Department of Computer Science
Other Authors: Sanella, Donald, Tarlecki, Andrzej
Format: Book
Language:English
Published: Pittsburgh: Carnegie Mellon University, 1989
Series:CMU-CS ; 89174
Subjects:
LEADER 00815nam a2200229 a 4500
001 1183441
005 20171111232554.0
008 080613s1989 gr erb 000 0 eng d
040 |a GrAtEKP.pliroforiki  |b gre  |e AACR2 
082 0 |2 22  |a 004 
100 1 |a Harper, Robert 
245 1 0 |a Structure and representation in LF/  |c Rober Harper, Donald Sanella, Andrzej Tarlecki 
260 |a Pittsburgh:  |b Carnegie Mellon University,  |c 1989 
300 |a 40 p. ;  |c 30 cm. 
490 0 |a CMU-CS ;  |v 89174 
504 |a Includes bibliographical references 
650 0 |a Computer science 
650 0 |a Computer architecture 
700 1 |a Sanella, Donald 
700 1 |a Tarlecki, Andrzej 
710 0 |a Carnegie-Mellon University.  |b Department of Computer Science 
952 |a GrAtEKP  |b 59ccf0396c5ad134460ca755  |c 998a  |d 945l  |e 004 CMUCS 89174  |t 1  |x m  |z Books