Locus Solum: From the rules of logic to the logic of rules - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jean-Yves Girard. Locus Solum: From the rules of logic to the logic of rules. Mathematical Structures in Computer Science, 11(3):301-506, 2001.

@article{Girard01,
  title = {Locus Solum: From the rules of logic to the logic of rules},
  author = {Jean-Yves Girard},
  year = {2001},
  tags = {rule-based, rules, logic},
  researchr = {https://researchr.org/publication/Girard01},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {11},
  number = {3},
  pages = {301-506},
}

runs on WebDSL