PhD thesis,

˜Aœ fully abstract model for sequential computation

.
TU Darmstadt, (2000)

Meta data

Tags

Users

  • @genealogie
  • @dblp

Comments and Reviews