BibTeX record conf/lics/GundersenHP13

download as .bib file

@inproceedings{DBLP:conf/lics/GundersenHP13,
  author    = {Tom Gundersen and
               Willem Heijltjes and
               Michel Parigot},
  title     = {Atomic Lambda Calculus: {A} Typed Lambda-Calculus with Explicit Sharing},
  booktitle = {{LICS}},
  pages     = {311--320},
  publisher = {{IEEE} Computer Society},
  year      = {2013}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics