iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/sLogica/BauerleACJ98.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/sLogica/BauerleACJ98 AU - Bäuerle, Frank A. AU - Albrecht, David W. AU - Crossley, John N. AU - Jeavons, John S. TI - Curry-Howard Terms for Linear Logic. JO - Stud Logica VL - 61 IS - 2 SP - 223 EP - 235 PY - 1998// DO - 10.1023/A:1005025414656 UR - https://doi.org/10.1023/A:1005025414656 ER -