Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 16

Title: On Bunched Typing

Author:

Subject: Peter W. O'hearn On Bunched Typing

Description: We study a typing scheme derived from a semantic situation where a single category possesses several closed structures, or function types. In this scheme typing contexts are trees built from two (or more) binary combining operations, or in short, bunches. The most basic system has two combining connectives, and the structural rules of Weakening and Contraction are allowed for one but not the other. This system includes a multiplicative, or substructural, function type alongside the usual (additive) function type !; it is dubbed the -calculus after its binders, for the dditive binder and for the multiplicative, or inear, binder. We show that the features of this system are, in a sense, complementary to calculi based on linear logic. In particular, it is incompatible with an interpretation where a multiplicative function uses its argument once, but perfectly compatible with a reading based on sharing of resources. This sharing interpretation extrapolates from synta...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-07-10

Pubyear: 2000

Format: ps

Identifier: http://citeseer.ist.psu.edu/296816.html

Source: ftp://ftp.dcs.qmw.ac.uk/lfp/ohearn/BunchedTyping.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/504182.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="111"   Title="Computational   interpretations   of   linear   logic,">

            <identifier   Org="ISBN:0387557075"   Paper_ID="/504182.html"   Extracted="0387557075"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:044450396X"   Paper_ID="/504182.html"   Extracted="044450396X"   DDC="512"   Normalized_DDC="512"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0521559618"   Paper_ID="/504182.html"   Extracted="0521559618"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0521608570"   Paper_ID="/504182.html"   Extracted="0521608570"   DDC="511.36"   Normalized_DDC="51136"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0792343832"   Paper_ID="/504182.html"   Extracted="0792343832"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:1402012705"   Paper_ID="/504182.html"   Extracted="1402012705"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540208135"   Paper_ID="/504182.html"   Extracted="3540208135"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540212981"   Paper_ID="/504182.html"   Extracted="3540212981"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:354055727X"   Paper_ID="/504182.html"   Extracted="354055727X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:354055789X"   Paper_ID="/504182.html"   Extracted="354055789X"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540564543"   Paper_ID="/504182.html"   Extracted="3540564543"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540565175"   Paper_ID="/504182.html"   Extracted="3540565175"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540569928"   Paper_ID="/504182.html"   Extracted="3540569928"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540578870"   Paper_ID="/504182.html"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540584315"   Paper_ID="/504182.html"   Extracted="3540584315"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540600175"   Paper_ID="/504182.html"   Extracted="3540600175"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540614877"   Paper_ID="/504182.html"   Extracted="3540614877"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="/504182.html"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540713891"   Paper_ID="/504182.html"   Extracted="3540713891"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540784977"   Paper_ID="/504182.html"   Extracted="3540784977"   DDC="003"   Normalized_DDC="003"   Normalized_Weight="0.05"   />

      </rec>

      <rec   ID="/16052.html"   Type="incollection"   CiteSeer_Book="Proceedings   Intl   Conf   on   Typed   Lambda   Calculi   and   Applications   TLCA93   Utrecht   The   Netherlands   1618   March   1993"   CiteSeer_Volume=""   Title="A   Term   Calculus   for   Intuitionistic   Linear   Logic,">

            <identifier   Org="ISBN:0198537816"   Paper_ID="/16052.html"   Extracted="0198537816"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:041521534X"   Paper_ID="/16052.html"   Extracted="041521534X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0444516220"   Paper_ID="/16052.html"   Extracted="0444516220"   DDC="160.9"   Normalized_DDC="1609"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792362373"   Paper_ID="/16052.html"   Extracted="0792362373"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0817639365"   Paper_ID="/16052.html"   Extracted="0817639365"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402012705"   Paper_ID="/16052.html"   Extracted="1402012705"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540212981"   Paper_ID="/16052.html"   Extracted="3540212981"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540419608"   Paper_ID="/16052.html"   Extracted="3540419608"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540565175"   Paper_ID="/16052.html"   Extracted="3540565175"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540569928"   Paper_ID="/16052.html"   Extracted="3540569928"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540600175"   Paper_ID="/16052.html"   Extracted="3540600175"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540614877"   Paper_ID="/16052.html"   Extracted="3540614877"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354063455X"   Paper_ID="/16052.html"   Extracted="354063455X"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540679340"   Paper_ID="/16052.html"   Extracted="3540679340"   DDC="346/.092"   Normalized_DDC="346092"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/89448.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   Conference   on   Typed   lambda   calculus   and   Applications"   CiteSeer_Volume=""   Title="What   is   a   Categorical   Model   of   Intuitionistic   Linear   Logic?,">

            <identifier   Org="ISBN:044450396X"   Paper_ID="/89448.html"   Extracted="044450396X"   DDC="512"   Normalized_DDC="512"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0521608570"   Paper_ID="/89448.html"   Extracted="0521608570"   DDC="511.36"   Normalized_DDC="51136"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0817639365"   Paper_ID="/89448.html"   Extracted="0817639365"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1402012705"   Paper_ID="/89448.html"   Extracted="1402012705"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540228497"   Paper_ID="/89448.html"   Extracted="3540228497"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540442405"   Paper_ID="/89448.html"   Extracted="3540442405"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354063455X"   Paper_ID="/89448.html"   Extracted="354063455X"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540654623"   Paper_ID="/89448.html"   Extracted="3540654623"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540657630"   Paper_ID="/89448.html"   Extracted="3540657630"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540672575"   Paper_ID="/89448.html"   Extracted="3540672575"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540679014"   Paper_ID="/89448.html"   Extracted="3540679014"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540727329"   Paper_ID="/89448.html"   Extracted="3540727329"   />

            <identifier   Org="ISBN:3540732276"   Paper_ID="/89448.html"   Extracted="3540732276"   />

            <identifier   Org="ISBN:3540766367"   Paper_ID="/89448.html"   Extracted="3540766367"   />

      </rec>

      <rec   ID="/322572.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eleventh   Annual   Symposium   on   Logic   in   Computer   Science      LICS96"   CiteSeer_Volume=""   Title="A   Linear   Logical   Framework,">

            <identifier   Org="ISBN:0262541041"   Paper_ID="/322572.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262600315"   Paper_ID="/322572.html"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0521608570"   Paper_ID="/322572.html"   Extracted="0521608570"   DDC="511.36"   Normalized_DDC="51136"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:078032563X"   Paper_ID="/322572.html"   Extracted="078032563X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/322572.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:1402006071"   Paper_ID="/322572.html"   Extracted="1402006071"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1402006993"   Paper_ID="/322572.html"   Extracted="1402006993"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1581132654"   Paper_ID="/322572.html"   Extracted="1581132654"   />

            <identifier   Org="ISBN:3540221646"   Paper_ID="/322572.html"   Extracted="3540221646"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/322572.html"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/322572.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540610642"   Paper_ID="/322572.html"   Extracted="3540610642"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540617353"   Paper_ID="/322572.html"   Extracted="3540617353"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/322572.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540646752"   Paper_ID="/322572.html"   Extracted="3540646752"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540657630"   Paper_ID="/322572.html"   Extracted="3540657630"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/322572.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/657250.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="{BI}   as   an   Assertion   Language   for   Mutable   Data   Structures,">

            <identifier   Org="ISBN:3540206809"   Paper_ID="/657250.html"   Extracted="3540206809"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540227911"   Paper_ID="/657250.html"   Extracted="3540227911"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540240586"   Paper_ID="/657250.html"   Extracted="3540240586"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540255931"   Paper_ID="/657250.html"   Extracted="3540255931"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540297359"   Paper_ID="/657250.html"   Extracted="3540297359"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354030553X"   Paper_ID="/657250.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540403256"   Paper_ID="/657250.html"   Extracted="3540403256"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540418644"   Paper_ID="/657250.html"   Extracted="3540418644"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540430024"   Paper_ID="/657250.html"   Extracted="3540430024"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540691472"   Paper_ID="/657250.html"   Extracted="3540691472"   />

            <identifier   Org="ISBN:3540710698"   Paper_ID="/657250.html"   Extracted="3540710698"   />

            <identifier   Org="ISBN:354071314X"   Paper_ID="/657250.html"   Extracted="354071314X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540727329"   Paper_ID="/657250.html"   Extracted="3540727329"   />

            <identifier   Org="ISBN:3540745904"   Paper_ID="/657250.html"   Extracted="3540745904"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540766367"   Paper_ID="/657250.html"   Extracted="3540766367"   />

            <identifier   Org="ISBN:3540784977"   Paper_ID="/657250.html"   Extracted="3540784977"   DDC="003"   Normalized_DDC="003"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540799796"   Paper_ID="/657250.html"   Extracted="3540799796"   />

            <identifier   Org="ISBN:3540875301"   Paper_ID="/657250.html"   Extracted="3540875301"   />

      </rec>

      <rec   ID="/351015.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="8"   Title="A   Relevant   Analysis   of   Natural   Deduction,">

            <identifier   Org="ISBN:078032563X"   Paper_ID="/351015.html"   Extracted="078032563X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/351015.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/351015.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1402006993"   Paper_ID="/351015.html"   Extracted="1402006993"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540221646"   Paper_ID="/351015.html"   Extracted="3540221646"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/351015.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/81548.html"   Type="inproceedings"   CiteSeer_Book="MFPS   XI   conference   on   Mathematical   Foundations   of   Program   Semantics"   CiteSeer_Volume=""   Title="Syntactic   Control   of   Interference   Revisited,">

            <identifier   Org="ISBN:0262162091"   Paper_ID="/81548.html"   Extracted="0262162091"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0521594146"   Paper_ID="/81548.html"   Extracted="0521594146"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0817639373"   Paper_ID="/81548.html"   Extracted="0817639373"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0897917391"   Paper_ID="/81548.html"   Extracted="0897917391"   DDC="621.3819505"   Normalized_DDC="6213819505"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354014031X"   Paper_ID="/81548.html"   Extracted="354014031X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540228497"   Paper_ID="/81548.html"   Extracted="3540228497"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540403256"   Paper_ID="/81548.html"   Extracted="3540403256"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540403329"   Paper_ID="/81548.html"   Extracted="3540403329"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540433635"   Paper_ID="/81548.html"   Extracted="3540433635"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540442405"   Paper_ID="/81548.html"   Extracted="3540442405"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540657630"   Paper_ID="/81548.html"   Extracted="3540657630"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540677151"   Paper_ID="/81548.html"   Extracted="3540677151"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/273177.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="From   Algol   to   polymorphic   linear   lambda-calculus,">

            <identifier   Org="ISBN:0521594146"   Paper_ID="/273177.html"   Extracted="0521594146"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0521631688"   Paper_ID="/273177.html"   Extracted="0521631688"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/273177.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0817639373"   Paper_ID="/273177.html"   Extracted="0817639373"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/273177.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1581136285"   Paper_ID="/273177.html"   Extracted="1581136285"   />

            <identifier   Org="ISBN:3540008861"   Paper_ID="/273177.html"   Extracted="3540008861"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540255931"   Paper_ID="/273177.html"   Extracted="3540255931"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540255966"   Paper_ID="/273177.html"   Extracted="3540255966"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540657630"   Paper_ID="/273177.html"   Extracted="3540657630"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540677151"   Paper_ID="/273177.html"   Extracted="3540677151"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540679014"   Paper_ID="/273177.html"   Extracted="3540679014"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540713891"   Paper_ID="/273177.html"   Extracted="3540713891"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/542979.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Semantics   of   Local   Variables,">

            <identifier   Org="ISBN:0130952494"   Paper_ID="/542979.html"   Extracted="0130952494"   DDC="004.2/565"   Normalized_DDC="0042565"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:019853762X"   Paper_ID="/542979.html"   Extracted="019853762X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:044450396X"   Paper_ID="/542979.html"   Extracted="044450396X"   DDC="512"   Normalized_DDC="512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0521427266"   Paper_ID="/542979.html"   Extracted="0521427266"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0817639373"   Paper_ID="/542979.html"   Extracted="0817639373"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818627352"   Paper_ID="/542979.html"   Extracted="0818627352"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/542979.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:3540008861"   Paper_ID="/542979.html"   Extracted="3540008861"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540190201"   Paper_ID="/542979.html"   Extracted="3540190201"   />

            <identifier   Org="ISBN:3540442405"   Paper_ID="/542979.html"   Extracted="3540442405"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354054495X"   Paper_ID="/542979.html"   Extracted="354054495X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540565965"   Paper_ID="/542979.html"   Extracted="3540565965"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540569928"   Paper_ID="/542979.html"   Extracted="3540569928"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540571825"   Paper_ID="/542979.html"   Extracted="3540571825"   DDC="005/.01/51"   Normalized_DDC="0050151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540578404"   Paper_ID="/542979.html"   Extracted="3540578404"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540578803"   Paper_ID="/542979.html"   Extracted="3540578803"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/430345.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="The   logic   of   bunched   implications,">

            <identifier   Org="ISBN:0198526334"   Paper_ID="/430345.html"   Extracted="0198526334"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0444516220"   Paper_ID="/430345.html"   Extracted="0444516220"   DDC="160.9"   Normalized_DDC="1609"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:1402006993"   Paper_ID="/430345.html"   Extracted="1402006993"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:1402007450"   Paper_ID="/430345.html"   Extracted="1402007450"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:1595930728"   Paper_ID="/430345.html"   Extracted="1595930728"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540206809"   Paper_ID="/430345.html"   Extracted="3540206809"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540213139"   Paper_ID="/430345.html"   Extracted="3540213139"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540228497"   Paper_ID="/430345.html"   Extracted="3540228497"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540252363"   Paper_ID="/430345.html"   Extracted="3540252363"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540255931"   Paper_ID="/430345.html"   Extracted="3540255931"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540297359"   Paper_ID="/430345.html"   Extracted="3540297359"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540422544"   Paper_ID="/430345.html"   Extracted="3540422544"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540430024"   Paper_ID="/430345.html"   Extracted="3540430024"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540439315"   Paper_ID="/430345.html"   Extracted="3540439315"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540734430"   Paper_ID="/430345.html"   Extracted="3540734430"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540740600"   Paper_ID="/430345.html"   Extracted="3540740600"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:354074620X"   Paper_ID="/430345.html"   Extracted="354074620X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540749144"   Paper_ID="/430345.html"   Extracted="3540749144"   DDC="004.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540752900"   Paper_ID="/430345.html"   Extracted="3540752900"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540784977"   Paper_ID="/430345.html"   Extracted="3540784977"   DDC="003"   Normalized_DDC="003"   Normalized_Weight="0.05"   />

      </rec>

      <rec   ID="/92.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   4th   International   Conference   on   Typed   Lambda   Calculi   and   Applications   TLCA99"   CiteSeer_Volume=""   Title="Natural   Deduction   for   Intuitionistic   Non-Commutative   Linear   Logic,">

            <identifier   Org="ISBN:0262162288"   Paper_ID="/92.html"   Extracted="0262162288"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0521608570"   Paper_ID="/92.html"   Extracted="0521608570"   DDC="511.36"   Normalized_DDC="51136"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1581132654"   Paper_ID="/92.html"   Extracted="1581132654"   />

            <identifier   Org="ISBN:1581136285"   Paper_ID="/92.html"   Extracted="1581136285"   />

            <identifier   Org="ISBN:3540257837"   Paper_ID="/92.html"   Extracted="3540257837"   DDC="410.285"   Normalized_DDC="410285"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540282319"   Paper_ID="/92.html"   Extracted="3540282319"   DDC="005.1/015113"   Normalized_DDC="0051015113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540417397"   Paper_ID="/92.html"   Extracted="3540417397"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:354043366X"   Paper_ID="/92.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540657630"   Paper_ID="/92.html"   Extracted="3540657630"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/35704.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   14th   Annual   Symposium   on   Logic   in   Computer   Science   LICS99"   CiteSeer_Volume=""   Title="On   Bunched   Predicate   Logic,">

            <identifier   Org="ISBN:0198526334"   Paper_ID="/35704.html"   Extracted="0198526334"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0521608570"   Paper_ID="/35704.html"   Extracted="0521608570"   DDC="511.36"   Normalized_DDC="51136"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540422544"   Paper_ID="/35704.html"   Extracted="3540422544"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540439315"   Paper_ID="/35704.html"   Extracted="3540439315"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540442405"   Paper_ID="/35704.html"   Extracted="3540442405"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/63764.html"   Type="inproceedings"   CiteSeer_Book="CSL"   CiteSeer_Volume=""   Title="Concurrent   Constraint   Programming   and   Non-commutative   Logic,">

            <identifier   Org="ISBN:0521608570"   Paper_ID="/63764.html"   Extracted="0521608570"   DDC="511.36"   Normalized_DDC="51136"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1581132654"   Paper_ID="/63764.html"   Extracted="1581132654"   />

            <identifier   Org="ISBN:3540201017"   Paper_ID="/63764.html"   Extracted="3540201017"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540645705"   Paper_ID="/63764.html"   Extracted="3540645705"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/702459.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1782"   Title="Alias   Types,">

            <identifier   Org="ISBN:0072261528"   Paper_ID="/702459.html"   Extracted="0072261528"   DDC="005.75/85"   Normalized_DDC="0057585"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0126339511"   Paper_ID="/702459.html"   Extracted="0126339511"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262162288"   Paper_ID="/702459.html"   Extracted="0262162288"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0321382188"   Paper_ID="/702459.html"   Extracted="0321382188"   DDC="005.2/768"   Normalized_DDC="0052768"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:059600429X"   Paper_ID="/702459.html"   Extracted="059600429X"   DDC="005.133"   Normalized_DDC="005133"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0596005261"   Paper_ID="/702459.html"   Extracted="0596005261"   DDC="005.133"   Normalized_DDC="005133"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1565928415"   Paper_ID="/702459.html"   Extracted="1565928415"   DDC="005.133"   Normalized_DDC="005133"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354014031X"   Paper_ID="/702459.html"   Extracted="354014031X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354022159X"   Paper_ID="/702459.html"   Extracted="354022159X"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540255931"   Paper_ID="/702459.html"   Extracted="3540255931"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354027992X"   Paper_ID="/702459.html"   Extracted="354027992X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540282319"   Paper_ID="/702459.html"   Extracted="3540282319"   DDC="005.1/015113"   Normalized_DDC="0051015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540403256"   Paper_ID="/702459.html"   Extracted="3540403256"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540421963"   Paper_ID="/702459.html"   Extracted="3540421963"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540440445"   Paper_ID="/702459.html"   Extracted="3540440445"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="/702459.html"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540705910"   Paper_ID="/702459.html"   Extracted="3540705910"   />

      </rec>

      <rec   ID="/142326.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="There's   no   substitute   for   linear   logic,">

            <identifier   Org="ISBN:041521534X"   Paper_ID="/142326.html"   Extracted="041521534X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0444516220"   Paper_ID="/142326.html"   Extracted="0444516220"   DDC="160.9"   Normalized_DDC="1609"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818627352"   Paper_ID="/142326.html"   Extracted="0818627352"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540565175"   Paper_ID="/142326.html"   Extracted="3540565175"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540569928"   Paper_ID="/142326.html"   Extracted="3540569928"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540571825"   Paper_ID="/142326.html"   Extracted="3540571825"   DDC="005/.01/51"   Normalized_DDC="0050151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540580271"   Paper_ID="/142326.html"   Extracted="3540580271"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540600175"   Paper_ID="/142326.html"   Extracted="3540600175"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540679340"   Paper_ID="/142326.html"   Extracted="3540679340"   DDC="346/.092"   Normalized_DDC="346092"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540784977"   Paper_ID="/142326.html"   Extracted="3540784977"   DDC="003"   Normalized_DDC="003"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:9810214626"   Paper_ID="/142326.html"   Extracted="9810214626"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/705577.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="2071"   Title="Alias   Types   for   Recursive   Data   Structures,">

            <identifier   Org="ISBN:0262162288"   Paper_ID="/705577.html"   Extracted="0262162288"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:076951927X"   Paper_ID="/705577.html"   Extracted="076951927X"   />

            <identifier   Org="ISBN:1581136285"   Paper_ID="/705577.html"   Extracted="1581136285"   />

            <identifier   Org="ISBN:1581139454"   Paper_ID="/705577.html"   Extracted="1581139454"   />

            <identifier   Org="ISBN:354014031X"   Paper_ID="/705577.html"   Extracted="354014031X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354022145X"   Paper_ID="/705577.html"   Extracted="354022145X"   DDC="512.74"   Normalized_DDC="51274"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354022159X"   Paper_ID="/705577.html"   Extracted="354022159X"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/705577.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540282319"   Paper_ID="/705577.html"   Extracted="3540282319"   DDC="005.1/015113"   Normalized_DDC="0051015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540297359"   Paper_ID="/705577.html"   Extracted="3540297359"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540403256"   Paper_ID="/705577.html"   Extracted="3540403256"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540403329"   Paper_ID="/705577.html"   Extracted="3540403329"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540421963"   Paper_ID="/705577.html"   Extracted="3540421963"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540691472"   Paper_ID="/705577.html"   Extracted="3540691472"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/705577.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540769277"   Paper_ID="/705577.html"   Extracted="3540769277"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="On   Bunched   Typing">

            <identifier   Org="ISBN:0262162288"   Paper_ID="SELF"   Extracted="0262162288"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:1581136285"   Paper_ID="SELF"   Extracted="1581136285"   />

            <identifier   Org="ISBN:1595930728"   Paper_ID="SELF"   Extracted="1595930728"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354014031X"   Paper_ID="SELF"   Extracted="354014031X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540228497"   Paper_ID="SELF"   Extracted="3540228497"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540297359"   Paper_ID="SELF"   Extracted="3540297359"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540749144"   Paper_ID="SELF"   Extracted="3540749144"   DDC="004.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3642005896"   Paper_ID="SELF"   Extracted="3642005896"   />

      </rec>

</references_metadata>