Variables and scopes considered formally (Q1603432)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Variables and scopes considered formally |
scientific article |
Statements
Variables and scopes considered formally (English)
0 references
14 July 2002
0 references
formal languages
0 references
scopes
0 references
variables
0 references
instantiation
0 references
renaming
0 references