%0 Journal Article %1 journals/apal/BluteS96 %A Blute, Richard %A Scott, Philip J. %D 1996 %J Ann. Pure Appl. Log. %K dblp %N 2 %P 101-142 %T Linear Läuchli Semantics. %U http://dblp.uni-trier.de/db/journals/apal/apal77.html#BluteS96 %V 77

@article{journals/apal/BluteS96, added-at = {2020-02-21T00:00:00.000+0100}, author = {Blute, Richard and Scott, Philip J.}, biburl = {https://www.bibsonomy.org/bibtex/2446311bb6fbe20e14d1ff152877e2311/dblp}, ee = {https://doi.org/10.1016/0168-0072(95)00017-8}, interhash = {cf547f3fe7bbc26c7bb4fe294872e543}, intrahash = {446311bb6fbe20e14d1ff152877e2311}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 2, pages = {101-142}, timestamp = {2020-02-22T12:46:57.000+0100}, title = {Linear Läuchli Semantics.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal77.html#BluteS96}, volume = 77, year = 1996 }