↓ Skip to main content
What is this page? Embed badge

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations

Overview of attention for article published in Journal of Logic & Computation, April 2024
Altmetric Badge

About this Attention Score

  • Among the highest-scoring outputs from this source (#14 of 215)
  • Good Attention Score compared to outputs of the same age (76th percentile)

Mentioned by

twitter
9 X users
Summary X

This page is provided by Altmetric.