1 |
Proof-theoretic aspects of NLλ
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
2 |
Proofs nets and the categorial flow of information
|
|
|
|
In: Logic and Interactive Rationality ; https://hal.archives-ouvertes.fr/hal-00759906 ; Logic and Interactive Rationality, 2012, Amsterdam, Netherlands (2012)
|
|
BASE
|
|
Show details
|
|
|
|