Krivine machines and higher-order schemes - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Sylvain Salvati, Igor Walukiewicz. Krivine machines and higher-order schemes. Inf. Comput., 239:340-355, 2014. [doi]

@article{SalvatiW14,
  title = {Krivine machines and higher-order schemes},
  author = {Sylvain Salvati and Igor Walukiewicz},
  year = {2014},
  doi = {10.1016/j.ic.2014.07.012},
  url = {http://dx.doi.org/10.1016/j.ic.2014.07.012},
  researchr = {https://researchr.org/publication/SalvatiW14},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {239},
  pages = {340-355},
}

runs on WebDSL