Normal view
MARC view
Typed operational reasoning (Topical Term)
Machine generated authority record.
Work cat.: (OSt)6118: Advanced topics in types and programming languages /, c2005.