On full abstraction for PCF: I, II and III (Q1854393)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On full abstraction for PCF: I, II and III |
scientific article |
Statements
On full abstraction for PCF: I, II and III (English)
0 references
14 January 2003
0 references
fully abstract model
0 references
PCF
0 references
model of computation
0 references
dialogue game
0 references
