A theory of objects
Springer
Chapter title |
A Second-Order Language
|
---|---|
Chapter number | 20 |
Book title |
A Theory of Objects
|
Published by |
Springer, New York, NY, January 1996
|
DOI | 10.1007/978-1-4419-8598-9_20 |
Book ISBNs |
978-1-4612-6445-3, 978-1-4419-8598-9
|
Authors |
Martín Abadi, Luca Cardelli |