No label defined (Q4364397)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 1088048 |
scientific article; zbMATH DE number 1088048
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1088048 |
Statements
17 November 1997
0 references
type system
0 references
domain model
0 references
simply typed fragment of ML
0 references
relational interpretation
0 references
operational equivalence
0 references
operational semantics
0 references
0.8724927306175232
0 references
0.7594812512397766
0 references
0.7236214876174927
0 references
0.7195321321487427
0 references
0.716447651386261
0 references
