REASONING ABOUT OBJECT SYSTEMS IN VTLoE (Q4853340)
From MaRDI portal
scientific article; zbMATH DE number 810161
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | REASONING ABOUT OBJECT SYSTEMS IN VTLoE |
scientific article; zbMATH DE number 810161 |
Statements
REASONING ABOUT OBJECT SYSTEMS IN VTLoE (English)
0 references
29 October 1995
0 references
contextual assertion
0 references
variable type logic of effects
0 references
lambda calculus
0 references
VTLoE
0 references
simulation induction
0 references
