%0 Journal Article %1 journals/corr/Schmidt-Schauss15 %A Schmidt-Schauß, Manfred %A Sabel, David %A Machkasova, Elena %D 2015 %J Logical Methods in Computer Science %K dblp %N 1 %T Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#Schmidt-Schauss15 %V 11

@article{journals/corr/Schmidt-Schauss15, added-at = {2019-05-14T00:00:00.000+0200}, author = {Schmidt-Schauß, Manfred and Sabel, David and Machkasova, Elena}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f64230d343b572a0fe56f7553bf2fb0c/dblp}, ee = {http://arxiv.org/abs/1502.03216}, interhash = {1c25b7962dbd8d7a6d0e42bc834c2941}, intrahash = {f64230d343b572a0fe56f7553bf2fb0c}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-09-27T09:56:59.000+0200}, title = {Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#Schmidt-Schauss15}, volume = 11, year = 2015 }