dr. Giuseppe Greco

Search results

• 2023

  Lambek–Grishin Calculus: Focusing, Display and Full Polarization

  Greco, G., Moortgat, M., Richard, V. D. & Tzimoulis, A., 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (eds.). Springer Science and Business Media B.V., p. 877-915 39 p. (Outstanding Contributions to Logic; vol. 25).

  Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

  Open Access

  File

  • Sequent Calculus 100%
  • Operational Semantics 25%
  • Inference Rule 25%
  • Search Strategies 25%
  30 Downloads (Pure)