Inproceedings,

Failures, finiteness and full abstraction.

.
MFPS, volume 6 of Electronic Notes in Theoretical Computer Science, page 391-408. Elsevier, (1997)

Meta data

Tags

Users

  • @dblp

Comments and Reviews