Skip to search boxSkip to navigationSkip to main content

Formal Cellular Machinery

  • Espen Højsgaard
    ,
  • Troels Christoffer Damgaard
    ,
  • Jean Krivine
  • Laboratoire PPS, Université Paris Diderot
Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Publication Information

Output type

Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 55-74

Journal (Volume, Issue Number)

Electronic Notes in Theoretical Computer Science (Volume 284)

Publication milestones

  • Published - 2012

Publication status

Published - 2012

ISSN

1571-0661

Publication IDs

  • Scopus: 84863205250

Publication metrics

PlumX

Citations
10
Captures
14