No label defined (Q4637685)
From MaRDI portal
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
No description defined |
Statements
25 April 2018
0 references
logical relations
0 references
parametricity
0 references
program transformation
0 references